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
isabelle