Mercurialisabelle / file revisions
summary | shortlog | changelog | graph | tags | branches | file | revisions | annotate | diff | rss
README_REPOSITORY
2014-01-09 wenzelm 2014-01-09 tuned; file | diff | annotate
2013-09-02 wenzelm 2013-09-02 updated according to bceec99254b0; file | diff | annotate
2013-04-02 wenzelm 2013-04-02 tuned; file | diff | annotate
2013-03-24 wenzelm 2013-03-24 more "quick start" hints; more explicit "Testing of changes", instead of convoluted "Building a repository version of Isabelle"; tuned; file | diff | annotate
2013-02-01 wenzelm 2013-02-01 standardized isabelle-server.in.tum.de; file | diff | annotate
2012-12-31 wenzelm 2012-12-31 tuned; file | diff | annotate
2012-12-31 wenzelm 2012-12-31 simplified quick start via "isabelle components -I"; file | diff | annotate
2012-12-26 wenzelm 2012-12-26 prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines; file | diff | annotate
2012-12-17 wenzelm 2012-12-17 prefer implicit build_dialog of isabelle jedit; clarified isabelle build variants; back to $HOME despite some chance that Windows users get it wrong; file | diff | annotate
2012-12-10 wenzelm 2012-12-10 further clarification for Windows; file | diff | annotate
2012-12-10 wenzelm 2012-12-10 some clarification for Windows; file | diff | annotate
2012-11-29 wenzelm 2012-11-29 further update and clarification of the all-important README_REPOSITORY; file | diff | annotate
2012-09-19 wenzelm 2012-09-19 tuned; file | diff | annotate
2012-09-13 wenzelm 2012-09-13 instructions for quick start in 20min; file | diff | annotate
2012-08-28 wenzelm 2012-08-28 update on "isabelle build" and "isabelle build_doc"; file | diff | annotate
2012-08-17 wenzelm 2012-08-17 tuned; file | diff | annotate
2012-08-17 wenzelm 2012-08-17 Backed out changeset ec82c33c75f8; file | diff | annotate
2012-08-17 webertj 2012-08-17 Typo fixed. file | diff | annotate
2012-08-17 wenzelm 2012-08-17 some explanations on isabelle components; file | diff | annotate
2012-07-25 wenzelm 2012-07-25 some updates on "Building a repository version of Isabelle"; file | diff | annotate
2012-04-13 wenzelm 2012-04-13 misc tuning; atbroy100 no longer available (?); file | diff | annotate
2010-11-18 wenzelm 2010-11-18 some updates after 2 years of Mercurial usage; file | diff | annotate
2010-05-12 wenzelm 2010-05-12 updated some version numbers; file | diff | annotate
2010-03-04 wenzelm 2010-03-04 point to http://hginit.com/ file | diff | annotate
2009-08-11 wenzelm 2009-08-11 clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository; file | diff | annotate
2009-03-01 wenzelm 2009-03-01 minor update of Mercurial HOWTO; file | diff | annotate
2009-01-14 wenzelm 2009-01-14 tuned ASCII art; file | diff | annotate
2008-11-30 wenzelm 2008-11-30 fixed spelling; tuned; file | diff | annotate
2008-11-30 wenzelm 2008-11-30 tuned; file | diff | annotate
2008-11-30 wenzelm 2008-11-30 misc tuning and clarification; file | diff | annotate
2008-11-29 wenzelm 2008-11-29 tuned; file | diff | annotate
2008-11-29 wenzelm 2008-11-29 further notes; tuned; file | diff | annotate
2008-11-29 wenzelm 2008-11-29 Important notes on Mercurial repository access for Isabelle. file | diff | annotate
isabelle