| Tue, 22 Dec 2009 17:59:59 +0100 | wenzelm | actually closer file reader; | changeset | files |
| Tue, 22 Dec 2009 17:25:41 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 22 Dec 2009 17:13:43 +0100 | wenzelm | added plain read_file; | changeset | files |
| Tue, 22 Dec 2009 17:13:18 +0100 | wenzelm | consider proper input only; | changeset | files |
| Tue, 22 Dec 2009 15:31:02 +0100 | wenzelm | added completion -- lazy avoids excessive table building; | changeset | files |
| Tue, 22 Dec 2009 15:00:43 +0100 | wenzelm | Generic parsers for Isabelle/Isar outer syntax -- Scala version. | changeset | files |
| Tue, 22 Dec 2009 15:00:03 +0100 | wenzelm | class Outer_Keyword wraps symbol interpretation, lexicon, keyword table; | changeset | files |
| Tue, 22 Dec 2009 14:58:13 +0100 | wenzelm | explicit representation of Token_Kind -- cannot really depend on runtime types due to erasure; | changeset | files |