Mercurial
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
branches
|
file
| revisions |
annotate
|
diff
|
rss
(0)
-100
-60
tip
ANNOUNCE
7 months ago
wenzelm
2017-09-08
updated for release;
file
|
diff
|
annotate
7 months ago
wenzelm
2017-09-03
updated for release;
file
|
diff
|
annotate
8 months ago
wenzelm
2017-08-21
tuned;
file
|
diff
|
annotate
8 months ago
wenzelm
2017-08-21
misc updates for release;
file
|
diff
|
annotate
16 months ago
wenzelm
2016-12-12
tuned;
file
|
diff
|
annotate
18 months ago
wenzelm
2016-10-28
tuned;
file
|
diff
|
annotate
18 months ago
wenzelm
2016-10-28
tuned;
file
|
diff
|
annotate
18 months ago
wenzelm
2016-10-25
updated for release;
file
|
diff
|
annotate
18 months ago
wenzelm
2016-10-07
updated for release;
file
|
diff
|
annotate
2016-01-18
wenzelm
2016-01-18
updated mirrors according to website;
file
|
diff
|
annotate
2016-01-16
wenzelm
2016-01-16
tuned URLs according to website;
file
|
diff
|
annotate
2016-01-06
wenzelm
2016-01-06
misc tuning for release;
file
|
diff
|
annotate
2016-01-05
wenzelm
2016-01-05
misc tuning for release;
file
|
diff
|
annotate
2016-01-01
wenzelm
2016-01-01
tuned;
file
|
diff
|
annotate
2016-01-01
wenzelm
2016-01-01
updated for release;
file
|
diff
|
annotate
2015-12-31
wenzelm
2015-12-31
misc updates for release;
file
|
diff
|
annotate
2015-04-17
wenzelm
2015-04-17
tuned spelling;
file
|
diff
|
annotate
2015-04-17
wenzelm
2015-04-17
added Eisbach, using version 3752768caa17 of its Bitbucket repository;
file
|
diff
|
annotate
2015-04-17
wenzelm
2015-04-17
ANNOUNCE material, based on NEWS;
file
|
diff
|
annotate
2015-04-11
wenzelm
2015-04-11
updated for release;
file
|
diff
|
annotate
2014-07-05
wenzelm
2014-07-05
update for release;
file
|
diff
|
annotate
2014-07-04
wenzelm
2014-07-04
tuned;
file
|
diff
|
annotate
2014-07-04
wenzelm
2014-07-04
tuned;
file
|
diff
|
annotate
2014-07-04
wenzelm
2014-07-04
misc tuning for release;
file
|
diff
|
annotate
2014-07-01
wenzelm
2014-07-01
misc updates for release;
file
|
diff
|
annotate
2013-11-20
wenzelm
2013-11-20
updated to Isabelle2013-2;
file
|
diff
|
annotate
2013-10-03
wenzelm
2013-10-03
tuned;
file
|
diff
|
annotate
2013-10-03
wenzelm
2013-10-03
tuned;
file
|
diff
|
annotate
2013-10-02
wenzelm
2013-10-02
some highlights of Isabelle2013-1 based on NEWS;
file
|
diff
|
annotate
2013-09-29
wenzelm
2013-09-29
updated for release;
file
|
diff
|
annotate
2013-01-25
wenzelm
2013-01-25
updated for release;
file
|
diff
|
annotate
2013-01-20
wenzelm
2013-01-20
misc tuning for release;
file
|
diff
|
annotate
2012-05-05
wenzelm
2012-05-05
some highlights of Isabelle2012;
file
|
diff
|
annotate
2012-04-14
wenzelm
2012-04-14
some updates for release;
file
|
diff
|
annotate
2011-09-18
wenzelm
2011-09-18
tentative announcement based on current NEWS;
file
|
diff
|
annotate
2011-09-07
wenzelm
2011-09-07
some updates for release;
file
|
diff
|
annotate
2011-01-17
wenzelm
2011-01-17
tuned;
file
|
diff
|
annotate
2011-01-17
wenzelm
2011-01-17
some announcement;
file
|
diff
|
annotate
2010-06-07
wenzelm
2010-06-07
tuned ANNOUNCEMENT;
file
|
diff
|
annotate
2010-06-04
haftmann
2010-06-04
first proposal for a announcement
file
|
diff
|
annotate
2010-05-28
wenzelm
2010-05-28
some updates for release;
file
|
diff
|
annotate
2009-11-28
wenzelm
2009-11-28
added "sos"; added subgoal focus;
file
|
diff
|
annotate
2009-11-24
haftmann
2009-11-24
consisten upper/lower case
file
|
diff
|
annotate
2009-11-23
wenzelm
2009-11-23
more tuning for release;
file
|
diff
|
annotate
2009-11-23
haftmann
2009-11-23
ANNOUNCE
file
|
diff
|
annotate
2009-11-22
wenzelm
2009-11-22
misc tuning and updates for official release;
file
|
diff
|
annotate
2009-04-15
wenzelm
2009-04-15
tuned;
file
|
diff
|
annotate
2009-04-14
wenzelm
2009-04-14
tuned;
file
|
diff
|
annotate
2009-04-14
wenzelm
2009-04-14
added Haskabelle -- in accordance to website/index.html version f397b96e3ad2;
file
|
diff
|
annotate
2009-04-02
wenzelm
2009-04-02
updates for Isabelle2009 release;
file
|
diff
|
annotate
2008-06-05
haftmann
2008-06-05
adjusted location of cambridge website
file
|
diff
|
annotate
2008-06-03
wenzelm
2008-06-03
some fine-tuning;
file
|
diff
|
annotate
2008-06-03
wenzelm
2008-06-03
reorganized isar-ref;
file
|
diff
|
annotate
2008-05-28
wenzelm
2008-05-28
tuned;
file
|
diff
|
annotate
2008-05-28
wenzelm
2008-05-28
added some notable improvements;
file
|
diff
|
annotate
2008-05-28
wenzelm
2008-05-28
prepared for Isabelle2008;
file
|
diff
|
annotate
2007-11-06
wenzelm
2007-11-06
tuned;
file
|
diff
|
annotate
2007-11-06
haftmann
2007-11-06
added autoquickcheck
file
|
diff
|
annotate
2007-11-04
wenzelm
2007-11-04
the all-important ML antiquotations are back; tuned;
file
|
diff
|
annotate
2007-11-02
haftmann
2007-11-02
tuned
file
|
diff
|
annotate
(0)
-100
-60
tip