Fri, 17 Apr 2015 22:15:35 +0200 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
Fri, 17 Apr 2015 17:49:19 +0200 |
wenzelm |
added Eisbach, using version 3752768caa17 of its Bitbucket repository;
|
file |
diff |
annotate
|
Fri, 17 Apr 2015 16:54:25 +0200 |
wenzelm |
ANNOUNCE material, based on NEWS;
|
file |
diff |
annotate
|
Sat, 11 Apr 2015 22:09:16 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
Sat, 05 Jul 2014 20:51:24 +0200 |
wenzelm |
update for release;
|
file |
diff |
annotate
|
Fri, 04 Jul 2014 20:07:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 04 Jul 2014 14:58:52 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 04 Jul 2014 14:52:05 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
Tue, 01 Jul 2014 14:52:08 +0200 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
Wed, 20 Nov 2013 23:00:18 +0100 |
wenzelm |
updated to Isabelle2013-2;
|
file |
diff |
annotate
|
Thu, 03 Oct 2013 16:32:33 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 03 Oct 2013 16:09:47 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 02 Oct 2013 17:09:12 +0200 |
wenzelm |
some highlights of Isabelle2013-1 based on NEWS;
|
file |
diff |
annotate
|
Sun, 29 Sep 2013 12:17:02 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
Fri, 25 Jan 2013 15:32:01 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|