2016-12-12 |
wenzelm |
tuned;
Isabelle2016-1
|
file |
diff |
annotate
|
2016-10-28 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2016-10-28 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2016-10-25 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2016-10-07 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2016-01-18 |
wenzelm |
updated mirrors according to website;
|
file |
diff |
annotate
|
2016-01-16 |
wenzelm |
tuned URLs according to website;
|
file |
diff |
annotate
|
2016-01-06 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2016-01-05 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2016-01-01 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2016-01-01 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2015-12-31 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
2015-04-17 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
2015-04-17 |
wenzelm |
added Eisbach, using version 3752768caa17 of its Bitbucket repository;
|
file |
diff |
annotate
|
2015-04-17 |
wenzelm |
ANNOUNCE material, based on NEWS;
|
file |
diff |
annotate
|
2015-04-11 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2014-07-05 |
wenzelm |
update for release;
|
file |
diff |
annotate
|
2014-07-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2014-07-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2014-07-04 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2014-07-01 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
2013-11-20 |
wenzelm |
updated to Isabelle2013-2;
|
file |
diff |
annotate
|
2013-10-03 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-10-03 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-10-02 |
wenzelm |
some highlights of Isabelle2013-1 based on NEWS;
|
file |
diff |
annotate
|
2013-09-29 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2013-01-25 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2013-01-20 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2012-05-05 |
wenzelm |
some highlights of Isabelle2012;
|
file |
diff |
annotate
|
2012-04-14 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
2011-09-18 |
wenzelm |
tentative announcement based on current NEWS;
|
file |
diff |
annotate
|
2011-09-07 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
2011-01-17 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2011-01-17 |
wenzelm |
some announcement;
|
file |
diff |
annotate
|
2010-06-07 |
wenzelm |
tuned ANNOUNCEMENT;
|
file |
diff |
annotate
|
2010-06-04 |
haftmann |
first proposal for a announcement
|
file |
diff |
annotate
|
2010-05-28 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
2009-11-28 |
wenzelm |
added "sos";
|
file |
diff |
annotate
|
2009-11-24 |
haftmann |
consisten upper/lower case
|
file |
diff |
annotate
|
2009-11-23 |
wenzelm |
more tuning for release;
|
file |
diff |
annotate
|
2009-11-23 |
haftmann |
ANNOUNCE
|
file |
diff |
annotate
|
2009-11-22 |
wenzelm |
misc tuning and updates for official release;
|
file |
diff |
annotate
|
2009-04-15 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2009-04-14 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2009-04-14 |
wenzelm |
added Haskabelle -- in accordance to website/index.html version f397b96e3ad2;
|
file |
diff |
annotate
|
2009-04-02 |
wenzelm |
updates for Isabelle2009 release;
|
file |
diff |
annotate
|
2008-06-05 |
haftmann |
adjusted location of cambridge website
|
file |
diff |
annotate
|
2008-06-03 |
wenzelm |
some fine-tuning;
|
file |
diff |
annotate
|
2008-06-02 |
wenzelm |
reorganized isar-ref;
|
file |
diff |
annotate
|
2008-05-28 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2008-05-28 |
wenzelm |
added some notable improvements;
|
file |
diff |
annotate
|
2008-05-28 |
wenzelm |
prepared for Isabelle2008;
|
file |
diff |
annotate
|
2007-11-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2007-11-06 |
haftmann |
added autoquickcheck
|
file |
diff |
annotate
|
2007-11-04 |
wenzelm |
the all-important ML antiquotations are back;
|
file |
diff |
annotate
|
2007-11-02 |
haftmann |
tuned
|
file |
diff |
annotate
|
2007-10-30 |
haftmann |
fixed typo
|
file |
diff |
annotate
|
2007-10-29 |
haftmann |
fixed typo
|
file |
diff |
annotate
|
2007-10-29 |
haftmann |
added nbe
|
file |
diff |
annotate
|
2007-10-27 |
haftmann |
added list comprehension syntax
|
file |
diff |
annotate
|