Tue, 14 Apr 2009 17:47:24 +0200 | wenzelm | actually invoke ISABELLE_TOOL; | changeset | files |
Tue, 14 Apr 2009 15:41:40 +0200 | wenzelm | added Haskabelle -- in accordance to website/index.html version f397b96e3ad2; | changeset | files |
Tue, 14 Apr 2009 14:37:44 +0200 | wenzelm | ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris); | changeset | files |