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