| 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 |
| Sat, 04 Oct 2008 14:29:43 +0200 | wenzelm | renamed isatool to isabelle_tool in programming interfaces; | file | diff | annotate |
| Fri, 29 Aug 2008 20:36:08 +0200 | wenzelm | IsabelleSystem.mk_fifo, IsabelleSystem.rm_fifo; | file | diff | annotate |
| Thu, 28 Aug 2008 22:26:23 +0200 | wenzelm | added charset (from isabelle_process.scala); | file | diff | annotate |
| Thu, 28 Aug 2008 19:29:59 +0200 | wenzelm | added is_cygwin; | file | diff | annotate |
| Mon, 25 Aug 2008 20:01:17 +0200 | wenzelm | simplified exceptions: use plain error function / RuntimeException; | file | diff | annotate |
| Sat, 23 Aug 2008 23:07:46 +0200 | wenzelm | added exec; | file | diff | annotate |
| Sat, 23 Aug 2008 19:42:16 +0200 | wenzelm | shell_prefix: physical /bin/env on Cygwin; | file | diff | annotate |
| Sat, 23 Aug 2008 17:55:27 +0200 | wenzelm | BadVariable: toString; | file | diff | annotate |
| Sat, 23 Aug 2008 17:22:54 +0200 | wenzelm | added getenv; | file | diff | annotate |
| Thu, 21 Aug 2008 13:05:37 +0200 | wenzelm | added get_setting; | file | diff | annotate |
| Sat, 16 Aug 2008 16:01:53 +0200 | wenzelm | Isabelle system support. | file | diff | annotate |