| Tue, 01 Sep 2009 14:51:40 +0200 | wenzelm | modernized Isar_Document; | file | diff | annotate |
| Sat, 29 Aug 2009 14:31:39 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Sat, 29 Aug 2009 10:50:04 +0200 | wenzelm | moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala; | file | diff | annotate |
| Thu, 25 Jun 2009 13:25:35 +0200 | wenzelm | renamed IsabelleProcess to Isabelle_Process; | file | diff | annotate |
| Sat, 23 May 2009 21:40:34 +0200 | wenzelm | proper indentation; | file | diff | annotate |
| 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 |