| Tue, 05 Jul 2011 21:20:24 +0200 | Path.split convenience; | file | diff | annotate |
| Mon, 04 Jul 2011 22:11:32 +0200 | quasi-static Isabelle_System -- reduced tendency towards "functorial style"; | file | diff | annotate |
| Thu, 30 Jun 2011 14:55:01 +0200 | prefer Isabelle path algebra; | file | diff | annotate |
| Mon, 24 May 2010 23:01:51 +0200 | renamed "rev" to "reverse" following usual Scala conventions; | file | diff | annotate |
| Tue, 22 Dec 2009 18:36:01 +0100 | Isabelle session manager -- most basic setup; | file | diff | annotate |