Wed, 06 Apr 2016 16:56:47 +0200 | update libisabelle-0.2.2 to libisabelle 0.3.3 | file | diff | annotate |
Fri, 22 Jan 2016 15:53:13 +0100 | update to libisabelle-0.2.2/../Protocol | file | diff | annotate |
Fri, 15 Jan 2016 09:35:24 +0100 | session for libisabelle + Isac | file | diff | annotate |
Tue, 01 Jul 2014 16:13:04 +0200 | correct buid of Isac | file | diff | annotate |
Sun, 22 Jun 2014 15:22:30 +0200 | CLEANUP since cf8879216db3 | file | diff | annotate |
Thu, 21 Nov 2013 18:20:07 +0100 | remove error "Duplicate session" cf. 07c2812b9ff3 | file | diff | annotate |
Thu, 21 Nov 2013 16:56:13 +0100 | Isabelle2013 --> 2013-1: remove error "Duplicate session" | file | diff | annotate |
Sun, 29 Sep 2013 18:27:37 +0200 | collected updates since changeset 9690a8d5f1c | file | diff | annotate |
Wed, 17 Jul 2013 07:32:53 +0200 | --- heap image for Isac on Isabelle2013 builds | file | diff | annotate |