| Sat, 28 Apr 2012 18:09:50 +0200 | wenzelm | some re-ordering; | changeset | files |
| Sat, 28 Apr 2012 18:05:19 +0200 | wenzelm | some coverage of isabelle env; | changeset | files |
| Sat, 28 Apr 2012 17:54:50 +0200 | wenzelm | updated system manual for release; | changeset | files |
| Sat, 28 Apr 2012 17:53:12 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 Apr 2012 17:50:42 +0200 | wenzelm | some coverage of Isabelle/Scala tools; | changeset | files |
| Sat, 28 Apr 2012 17:05:31 +0200 | wenzelm | some coverage of Isabelle/jEdit; | changeset | files |
| Sat, 28 Apr 2012 16:44:32 +0200 | wenzelm | some manual updates; | changeset | files |