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 |