Fri, 15 Aug 2008 15:51:06 +0200 | wenzelm | args: explicit groups for file_name, theory_name; | file | diff | annotate |
Thu, 14 Aug 2008 19:52:37 +0200 | wenzelm | P.doc_source and P.ml_sorce for proper SymbolPos.text; | file | diff | annotate |
Tue, 12 Aug 2008 21:27:48 +0200 | wenzelm | Symbol.source/OuterLex.source: more explicit do_recover argument; | file | diff | annotate |
Thu, 27 Sep 2007 11:46:05 +0200 | wenzelm | read: explicit treatment of scanner failure; | file | diff | annotate |
Sat, 15 Sep 2007 19:25:19 +0200 | wenzelm | removed redundant OuterLex.make_lexicon; | file | diff | annotate |
Thu, 19 Jul 2007 23:18:48 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Mon, 09 Jul 2007 23:12:44 +0200 | wenzelm | adapted OuterLex/T.source; | file | diff | annotate |
Fri, 19 Jan 2007 22:08:14 +0100 | wenzelm | renamed Isar/thy_header.ML to Thy/thy_header.ML; | file | diff | annotate |