Mon, 07 Jun 2010 17:50:57 +0200 | wenzelm | proper target directory; | changeset | files |
Mon, 07 Jun 2010 17:50:40 +0200 | wenzelm | refer to isabelle-release branch; | changeset | files |
Mon, 07 Jun 2010 13:20:05 +0200 | wenzelm | no symlinks; | changeset | files |