| 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
|