| Tue, 20 Jan 2009 18:05:21 +0100 | wenzelm | IsabelleSystem: provide Symbol.Interpretation; | file | diff | annotate |
| Sat, 27 Dec 2008 17:09:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 27 Dec 2008 16:33:19 +0100 | wenzelm | maintain initial process environment; | file | diff | annotate |
| Sat, 27 Dec 2008 14:57:30 +0100 | wenzelm | proper class IsabelleSystem -- no longer static; | file | diff | annotate |
| Tue, 23 Dec 2008 00:56:03 +0100 | wenzelm | added platform_file; | file | diff | annotate |
| Fri, 19 Dec 2008 20:37:29 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |