Sun, 07 Jun 2009 20:15:29 +0200 | wenzelm | static IsabelleSystem.charset; | changeset | files |
Sun, 07 Jun 2009 19:07:05 +0200 | wenzelm | isabelle getenv: option -d; | changeset | files |
Sat, 06 Jun 2009 23:43:07 +0200 | wenzelm | no parallel make jobs on macbroy23, which is the machine where SML/XL is tested -- attempt to consume less resources; | changeset | files |