| Tue, 01 Nov 2016 01:25:54 +0100 | wenzelm | pull isabelle-release; | changeset | files |
| Thu, 24 Nov 2016 15:04:05 +0100 | eberlm | Merged natlog2 into Discrete.log | changeset | files |
| Wed, 23 Nov 2016 16:28:42 +0100 | nipkow | moved IMP/Abs_Int_ITP to AFP/Abs_Int_ITP2012 | changeset | files |
| Tue, 22 Nov 2016 18:36:59 +0100 | nipkow | added lemma | changeset | files |
| Tue, 22 Nov 2016 16:22:05 +0100 | nipkow | added simp rule | changeset | files |
| Tue, 15 Nov 2016 17:39:40 +0100 | blanchet | generalized experimental feature slightly | changeset | files |
| Tue, 08 Nov 2016 13:03:54 +0100 | nipkow | provided more efficient interface | changeset | files |
| Fri, 04 Nov 2016 13:27:31 +0100 | wenzelm | back to stable scala-2.11.8; | changeset | files |
| Thu, 03 Nov 2016 17:51:10 +0100 | wenzelm | updated to scala-2.12.0; | changeset | files |
| Thu, 03 Nov 2016 08:10:56 +0100 | nipkow | tuned | changeset | files |
| Tue, 01 Nov 2016 16:04:35 +0100 | traytel | tuned signature | changeset | files |
| Tue, 01 Nov 2016 01:20:33 +0100 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Tue, 01 Nov 2016 01:04:53 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 01 Nov 2016 00:55:52 +0100 | wenzelm | updated to new cronjob; | changeset | files |
| Tue, 01 Nov 2016 00:54:03 +0100 | wenzelm | build_release on lxbroy10 appears to work, including latex and remote_dmg; | changeset | files |