| Sun, 18 Sep 2011 14:25:53 +0200 | wenzelm | more contributors; | changeset | files |
| Sun, 18 Sep 2011 14:09:57 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 18 Sep 2011 13:56:06 +0200 | wenzelm | tweak keyboard shortcuts for Mac OS X; | changeset | files |
| Sun, 18 Sep 2011 13:47:12 +0200 | wenzelm | explicit check_file wrt. jEdit VFS, to avoid slightly confusing empty buffer after IO error; | changeset | files |
| Sun, 18 Sep 2011 13:39:33 +0200 | wenzelm | finite sequences as useful as introductory example; | changeset | files |
| Sun, 18 Sep 2011 12:48:45 +0200 | wenzelm | discontinued hard-wired JAVA_HOME treatment for Mac OS X (cf. f471a2fb9a95), which can cause confusions of "isabelle java" vs. "isabelle scala" -- moved settings to external component; | changeset | files |