Wed, 21 Sep 2011 17:28:19 +0900 | Cezary Kaliszyk | Load pdfsetup and hyperref last. | changeset | files |
Wed, 21 Sep 2011 17:16:11 +0900 | Cezary Kaliszyk | Correct BIB entry | changeset | files |
Tue, 20 Sep 2011 19:04:39 +0200 | Christian Urban | updated to Isabelle 19 Sept | changeset | files |
Tue, 20 Sep 2011 09:17:29 +0200 | Christian Urban | more polishing | changeset | files |