| Wed, 02 Oct 2013 17:09:12 +0200 | wenzelm | some highlights of Isabelle2013-1 based on NEWS; | changeset | files |
| Wed, 02 Oct 2013 17:08:39 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 02 Oct 2013 16:56:02 +0200 | wenzelm | misc tuning for release; | changeset | files |
| Wed, 02 Oct 2013 16:29:41 +0200 | blanchet | more (co)data docs | changeset | files |