Wed, 11 Sep 2013 20:16:28 +0200 | wenzelm | more explicit indication of 'done' as proof script element; | file | diff | annotate |
Fri, 06 Sep 2013 22:07:26 +0200 | wenzelm | more Proof General legacy; | file | diff | annotate |
Mon, 02 Sep 2013 16:10:26 +0200 | wenzelm | more explicit indication of 'guess' as improper Isar (aka "script") element; | file | diff | annotate |
Tue, 25 Jun 2013 11:26:15 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
Mon, 24 Jun 2013 23:33:14 +0200 | wenzelm | improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first; | file | diff | annotate |