Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-100
-60
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
ANNOUNCE
2020-02-28
wenzelm
tuned;
file
|
diff
|
annotate
2020-02-26
wenzelm
updated for release;
file
|
diff
|
annotate
2019-05-21
wenzelm
proper version;
file
|
diff
|
annotate
2019-04-10
wenzelm
updated for release;
file
|
diff
|
annotate
2019-04-02
wenzelm
updated for release;
file
|
diff
|
annotate
2018-07-18
wenzelm
more ANNOUNCE;
file
|
diff
|
annotate
2018-07-06
wenzelm
prefer HTTPS;
file
|
diff
|
annotate
2018-07-02
wenzelm
tuned;
file
|
diff
|
annotate
2018-07-01
wenzelm
tuned;
file
|
diff
|
annotate
2018-06-29
wenzelm
misc tuning and updates for release;
file
|
diff
|
annotate
2018-06-06
wenzelm
updated for release;
file
|
diff
|
annotate
2017-09-08
wenzelm
updated for release;
file
|
diff
|
annotate
2017-09-03
wenzelm
updated for release;
file
|
diff
|
annotate
2017-08-21
wenzelm
tuned;
file
|
diff
|
annotate
2017-08-21
wenzelm
misc updates for release;
file
|
diff
|
annotate
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
less
more
(0)
-100
-60
tip