| Tue, 20 Nov 2012 17:49:26 +0100 | nipkow | tuned proof | changeset | files |
| Tue, 20 Nov 2012 15:18:11 +0100 | wenzelm | simplified command line of "isabelle install"; | changeset | files |
| Tue, 20 Nov 2012 14:55:52 +0100 | wenzelm | known problems with Mac OS X are back -- Java 7u6 is not the last word (cf. ce37d4f8b4f4); | changeset | files |
| Tue, 20 Nov 2012 14:29:46 +0100 | wenzelm | some documentation for "algebra" in HOL; | changeset | files |
| Tue, 20 Nov 2012 13:27:24 +0100 | wenzelm | global default for session timeout; | changeset | files |
| Mon, 19 Nov 2012 22:34:17 +0100 | wenzelm | alternative completion for outer syntax keywords; | changeset | files |
| Mon, 19 Nov 2012 20:47:13 +0100 | wenzelm | init options on startup as well; | changeset | files |