| Tue, 22 Dec 2009 21:48:17 +0100 | wenzelm | basic setup for header scanning/parsing; | changeset | files |
| Tue, 22 Dec 2009 21:47:27 +0100 | wenzelm | clarified atom parser: return content; | changeset | files |
| 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 |