Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -15 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
less more (0) -15 tip
isabelle