[isabelle] help about an Isabelle IDE problem



Dear all,


       I'm a new user of Isabelle and I met a strange problem when I wrote theory files.  The system always gets stuck when it processes some thy file, and there are no warnings, no errors. It seems the system is just not responding. CPU usage is about 40-50%, memory is about 1.5G-3G. I have tried windows64 version 2016-1 and 2017, there's the same problem. The following is the screeshot



      The problem has confused me for a few days, I'll be very grateful if some experienced uses may kindly help me out.
      Thank you very much!
                                                                                              Guo Fan
                                                                                               2018.5.8

JPEG image



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.