| Tue, 22 Dec 2009 21:46:41 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 22 Dec 2009 19:38:06 +0100 | wenzelm | renamed class Outer_Keyword to Outer_Syntax; | changeset | files |
| Tue, 22 Dec 2009 18:36:01 +0100 | wenzelm | Isabelle session manager -- most basic setup; | changeset | files |
| 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 |