Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-50
-30
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
ANNOUNCE
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
less
more
(0)
-50
-30
tip