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
|
2007-10-26 |
haftmann |
added hint for algebra
|
file |
diff |
annotate
|
2007-10-22 |
wenzelm |
tuned Nominal entry;
|
file |
diff |
annotate
|
2007-10-02 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2007-10-01 |
wenzelm |
preliminary material for Isabelle2007;
|
file |
diff |
annotate
|
2005-09-28 |
haftmann |
adjusted www links
|
file |
diff |
annotate
|
2005-09-28 |
wenzelm |
revert 'defs' advertisement;
|
file |
diff |
annotate
|
2005-09-27 |
wenzelm |
more details about incomplete 'defs';
|
file |
diff |
annotate
|
2005-09-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2005-09-21 |
wenzelm |
updated for Isabelle2005;
|
file |
diff |
annotate
|
2004-04-19 |
kleing |
add HOL4
|
file |
diff |
annotate
|
2004-04-17 |
kleing |
added sydney mirror
|
file |
diff |
annotate
|
2004-04-17 |
nipkow |
2003 -> 2004
|
file |
diff |
annotate
|
2003-05-12 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
2003-05-12 |
paulson |
tweaked
|
file |
diff |
annotate
|
2003-05-12 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
2002-03-08 |
wenzelm |
drop Stanford mirror;
|
file |
diff |
annotate
|
2002-03-07 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2002-03-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2002-03-03 |
kleing |
MicroJava news
|
file |
diff |
annotate
|
2002-03-01 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2002-03-01 |
prensani |
Completed annonce of HoareParallel
|
file |
diff |
annotate
|
2002-03-01 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2002-03-01 |
paulson |
lcp's try
|
file |
diff |
annotate
|
2002-02-28 |
wenzelm |
more stuff;
|
file |
diff |
annotate
|
2002-02-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2002-02-24 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2001-09-27 |
wenzelm |
prepared for Isabelle2001;
|
file |
diff |
annotate
|
2001-02-13 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2001-02-13 |
paulson |
swapped Fleuriot and Paulson
|
file |
diff |
annotate
|
2001-02-05 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2000-10-06 |
wenzelm |
final tuning;
Isabelle99-1
|
file |
diff |
annotate
|
2000-10-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2000-10-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2000-10-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2000-10-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2000-10-06 |
wenzelm |
draft for 99-1;
|
file |
diff |
annotate
|
2000-09-11 |
wenzelm |
template;
|
file |
diff |
annotate
|