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 |