| Mon, 11 Jan 2010 18:23:06 +0100 | wenzelm | Outer_Lex.is_ignored; | file | diff | annotate |
| Tue, 05 Jan 2010 16:29:31 +0100 | wenzelm | separate module Thy_Syntax for command span parsing; | file | diff | annotate |
| Tue, 05 Jan 2010 15:45:32 +0100 | wenzelm | added filter_proper parameter; | file | diff | annotate |
| Tue, 22 Dec 2009 21:47:27 +0100 | wenzelm | clarified atom parser: return content; | file | diff | annotate |
| Tue, 22 Dec 2009 17:13:18 +0100 | wenzelm | consider proper input only; | file | diff | annotate |
| Tue, 22 Dec 2009 15:00:43 +0100 | wenzelm | Generic parsers for Isabelle/Isar outer syntax -- Scala version. | file | diff | annotate |