*To*: cl-isabelle-users <cl-isabelle-users at lists.cam.ac.uk>*Subject*: [isabelle] Isabelle2019-RC2 non-terminating commands and memory consumption*From*: Fabian Immler <immler at in.tum.de>*Date*: Tue, 14 May 2019 11:53:44 +0200*User-agent*: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1

Best regards, Fabian 12: V 75: I 133: V 230: I 240: V 330: I 340: V 410: I 412: V 690: I 715: V 750: I Screenshot 1 Reset 15: V 115-230: I, no response 265: V 280: I no response until 295 320: V 340: I, no response for 3 s 360: V 365: I 380: V 400: I, no response for 40 s 485: V 490: I 505: V 510: I 560: V 600-650: I, no response 750: Screenshot 2

theory Scratch imports Pure begin le mma "x \<equiv> x" by (rule ?)+ lemma "x \<equiv> x" by (rule ?)+ lemma "x \<equiv> x" by (rule ?)+ lemma "x \<equiv> x" by (rule ?)+ lemma "x \<equiv> x" by (rule ?)+ lemma "x \<equiv> x" by (rule ?)+ lemma "x \<equiv> x" by (rule ?)+ lemma "x \<equiv> x" by (rule ?)+ lemma "x \<equiv> x" by (rule ?)+ lemma "x \<equiv> x" by (rule ?)+ end

**Attachment:
Screenshot 2.PNG**

**Attachment:
Screenshot 1.PNG**

**Attachment:
smime.p7s**

**Follow-Ups**:**Re: [isabelle] Isabelle2019-RC2 non-terminating commands and memory consumption***From:*Mathias Fleury

- Previous by Date: [isabelle] Isabelle2019-RC2 NullPointerException on Cygwin-Terminal (Windows 10)
- Next by Date: Re: [isabelle] Isabelle2019-RC2: Experience report
- Previous by Thread: [isabelle] DT 2019: Deduktionstreffen, Kassel (Germany), 23-24 Sep 2019
- Next by Thread: Re: [isabelle] Isabelle2019-RC2 non-terminating commands and memory consumption
- Cl-isabelle-users May 2019 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list