Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -30 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
README
2013-10-03 wenzelm tuned; file | diff | annotate
2013-09-29 wenzelm updated for release; file | diff | annotate
2013-09-11 wenzelm updated for release; file | diff | annotate
2012-12-16 wenzelm updated README; file | diff | annotate
2012-04-27 wenzelm tuned; file | diff | annotate
2012-04-27 wenzelm some updates on classic README, reduce the impression that there is much to install manually; file | diff | annotate
2012-04-25 wenzelm back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer; file | diff | annotate
2012-04-14 wenzelm some updates for release; file | diff | annotate
2011-09-18 wenzelm tuned; file | diff | annotate
2011-09-07 wenzelm some updates for release; 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
2010-08-17 wenzelm discontinued support for Poly/ML 5.0 and 5.1 versions; file | diff | annotate
2010-06-09 wenzelm removed outdated/confusing INSTALL file; file | diff | annotate
2010-05-28 wenzelm some updates for release; file | diff | annotate
2010-05-12 wenzelm updated some version numbers; file | diff | annotate
2009-11-22 wenzelm misc tuning and updates for official release; file | diff | annotate
2009-08-11 wenzelm clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository; file | diff | annotate
2009-04-15 wenzelm misc tuning for Isabelle2009; file | diff | annotate
2009-04-02 wenzelm misc tuning for release; file | diff | annotate
2008-07-17 wenzelm tuned line breaks (NB: generated text is inserted here); file | diff | annotate
2008-06-05 haftmann adjusted location of cambridge website file | diff | annotate
2008-05-28 wenzelm tuned version numbers; file | diff | annotate
2007-11-20 wenzelm updated Proof General advertisement; file | diff | annotate
2007-11-12 wenzelm removed left-over text links from lynx conversion; file | diff | annotate
2007-10-27 haftmann ASCIIfied README file | diff | annotate
1996-11-27 paulson Updated instructions file | diff | annotate
1996-11-21 paulson Further comments on versions of SML/NJ file | diff | annotate
1996-11-18 paulson Updated and clearer(?) instructions file | diff | annotate
1996-10-21 paulson Mentions the possibility of pathnames in ISABELLECOMP; file | diff | annotate
less more (0) -30 tip
isabelle