| Sat, 16 Jul 2011 20:52:41 +0200 | wenzelm | moved bash operations to Isabelle_System (cf. Scala version); | file | diff | annotate |
| Thu, 30 Jun 2011 13:21:41 +0200 | wenzelm | standardized use of Path operations; | file | diff | annotate |
| Mon, 10 Jan 2011 15:45:46 +0100 | wenzelm | eliminated Int.toString; | file | diff | annotate |
| Mon, 10 Jan 2011 15:30:17 +0100 | wenzelm | eliminated obsolete LargeInt -- Int is unbounded; | file | diff | annotate |
| Tue, 02 Nov 2010 20:16:56 +0100 | wenzelm | avoid catch-all exception handling; | file | diff | annotate |
| Tue, 13 Jul 2010 11:38:04 +0200 | haftmann | corrected title | file | diff | annotate |
| Mon, 12 Jul 2010 08:58:12 +0200 | haftmann | more regular session structure | file | diff | annotate | base |