| Sat, 23 Aug 2008 23:07:30 +0200 | wenzelm | adapted to new IsabelleProcess from Pure.jar; | changeset | files |
| Sat, 23 Aug 2008 23:07:28 +0200 | wenzelm | include ../../classes/Pure.jar; | changeset | files |
| Sat, 23 Aug 2008 21:06:32 +0200 | nipkow | added const Rational | changeset | files |
| Sat, 23 Aug 2008 19:42:17 +0200 | wenzelm | YXML.parse_failsafe; | changeset | files |
| Sat, 23 Aug 2008 19:42:16 +0200 | wenzelm | shell_prefix: physical /bin/env on Cygwin; | changeset | files |
| Sat, 23 Aug 2008 19:42:15 +0200 | wenzelm | removed full_markup mode (default); | changeset | files |