| Sun, 28 Jun 2009 15:01:28 +0200 | immler | check for current versions on server | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | relevance filter with the same parameters for remote-versions | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | use X2TPTP optionally and only for remote_spass; | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | fixed | changeset | files |
| Sun, 28 Jun 2009 17:55:44 +0200 | wenzelm | clarified "jars" target; | changeset | files |
| Sun, 28 Jun 2009 17:42:22 +0200 | wenzelm | produce self-contained isabelle-scala.jar; | changeset | files |
| Sun, 28 Jun 2009 16:59:43 +0200 | wenzelm | proper interpretation of Cygwin.config; | changeset | files |
| Sun, 28 Jun 2009 16:46:00 +0200 | wenzelm | sane platform look-and-feel; | changeset | files |