| Tue, 10 Sep 2013 18:14:47 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 10 Sep 2013 16:09:33 +0200 | wenzelm | discontinued obsolete command-line tool "isabelle build_dialog"; | changeset | files |
| Wed, 11 Sep 2013 10:57:09 +0200 | blanchet | updated docs | changeset | files |