| 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 |