Sat, 27 Jun 2009 17:35:08 +0200 | wenzelm | tune File.isabelle_tool signature; | changeset | files |
Sat, 27 Jun 2009 17:34:48 +0200 | wenzelm | builtin isabelle_tool for ML and Scala -- avoids excessive shell script (especially important for Cygwin); | changeset | files |
Sat, 27 Jun 2009 10:26:42 +0200 | nipkow | removed old primrecs | changeset | files |