Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Admin/CHECKLIST
2011-10-15
wenzelm
updated to polyml-5.4.1;
file
|
diff
|
annotate
2011-09-27
wenzelm
tuned;
file
|
diff
|
annotate
2011-09-26
wenzelm
tuned;
file
|
diff
|
annotate
2011-09-11
wenzelm
updates for release;
file
|
diff
|
annotate
2011-09-10
wenzelm
more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on;
file
|
diff
|
annotate
2011-09-07
wenzelm
some updates for release;
file
|
diff
|
annotate
2011-01-31
wenzelm
tuned;
file
|
diff
|
annotate
2011-01-19
wenzelm
more release checks;
file
|
diff
|
annotate
2011-01-18
wenzelm
more notes on final release stage;
file
|
diff
|
annotate
2011-01-17
wenzelm
some notes on final release stage;
file
|
diff
|
annotate
2011-01-17
wenzelm
keep Proof General 4.0 and 3.7.1.1 for now;
file
|
diff
|
annotate
2011-01-16
wenzelm
misc updates for release;
file
|
diff
|
annotate
2011-01-12
wenzelm
updated to ProofGeneral-4.x;
file
|
diff
|
annotate
2011-01-07
wenzelm
updated for release;
file
|
diff
|
annotate
2010-11-28
wenzelm
updated versions;
file
|
diff
|
annotate
2010-11-28
wenzelm
follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf);
file
|
diff
|
annotate
2010-06-24
wenzelm
notes on packaging;
file
|
diff
|
annotate
2010-06-09
wenzelm
removed outdated/confusing INSTALL file;
file
|
diff
|
annotate
2010-06-02
wenzelm
actually test smlnj;
file
|
diff
|
annotate
2010-05-28
wenzelm
lib/Tools/makeall does not hardiwre logics;
file
|
diff
|
annotate
2010-05-28
wenzelm
discontinued Sun/Solaris tests;
file
|
diff
|
annotate
2010-05-12
wenzelm
check NEWS;
file
|
diff
|
annotate
2010-05-12
wenzelm
updated some version numbers;
file
|
diff
|
annotate
2009-11-21
wenzelm
tuned;
file
|
diff
|
annotate
2009-05-31
wenzelm
discontinued support for Poly/ML 4.x versions;
file
|
diff
|
annotate
2009-04-14
wenzelm
misc updates for Isabelle2009;
file
|
diff
|
annotate
2009-04-02
wenzelm
misc tuning for release;
file
|
diff
|
annotate
2009-03-01
wenzelm
discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
file
|
diff
|
annotate
2008-12-03
wenzelm
eliminated traces of old Distribution directory;
file
|
diff
|
annotate
2008-07-17
wenzelm
tuned;
file
|
diff
|
annotate
2008-05-29
wenzelm
tuned;
file
|
diff
|
annotate
2008-05-28
wenzelm
tuned;
file
|
diff
|
annotate
2007-12-05
wenzelm
check persistent sessions;
file
|
diff
|
annotate
2007-11-13
wenzelm
some more items;
file
|
diff
|
annotate
2007-10-30
haftmann
adjusted
file
|
diff
|
annotate
2007-10-27
haftmann
ASCIIfied README
file
|
diff
|
annotate
2007-10-24
wenzelm
tuned;
file
|
diff
|
annotate
2007-10-06
wenzelm
some updates;
file
|
diff
|
annotate
2007-09-18
haftmann
clarified remark
file
|
diff
|
annotate
2005-06-09
haftmann
added CONTRIBUTORS
file
|
diff
|
annotate
2005-04-21
kleing
updated, added Admin/page after-release maintenance
file
|
diff
|
annotate
2002-08-05
wenzelm
updated;
file
|
diff
|
annotate
less
more
(0)
tip