| Tue, 27 Jan 2009 15:47:22 +0100 | wenzelm | plain non-dependent types; | file | diff | annotate |
| Tue, 27 Jan 2009 15:22:46 +0100 | wenzelm | turned IsarDocument into trait for IsabelleProcess; | file | diff | annotate |
| Sun, 18 Jan 2009 20:06:51 +0100 | wenzelm | Scala wrapper for interactive Isar documents; | file | diff | annotate |