| Sun, 28 Jun 2009 15:39:51 +0200 | wenzelm | some more Cygwin checks; | changeset | files |
| Sun, 28 Jun 2009 14:27:42 +0200 | wenzelm | moved platform identification to platform.scala; | changeset | files |
| Sat, 27 Jun 2009 22:28:07 +0200 | wenzelm | less ambitious version that works with Java 1.5; | changeset | files |
| Sat, 27 Jun 2009 22:22:08 +0200 | wenzelm | clarified default_platform; | changeset | files |
| Sat, 27 Jun 2009 22:14:13 +0200 | wenzelm | more detailed platform identification; | changeset | files |
| Sat, 27 Jun 2009 19:24:34 +0200 | wenzelm | isabelle_path: slightly more liberal root pattern; | changeset | files |
| Sat, 27 Jun 2009 18:46:08 +0200 | wenzelm | added isabelle_path; | changeset | files |
| Sat, 27 Jun 2009 17:35:08 +0200 | wenzelm | tune File.isabelle_tool signature; | changeset | files |