2010-11-18 | wenzelm | some updates after 2 years of Mercurial usage; | file | diff | annotate |
2010-05-12 | wenzelm | updated some version numbers; | file | diff | annotate |
2010-03-04 | wenzelm | point to http://hginit.com/ | 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-03-01 | wenzelm | minor update of Mercurial HOWTO; | file | diff | annotate |
2009-01-14 | wenzelm | tuned ASCII art; | file | diff | annotate |
2008-11-30 | wenzelm | fixed spelling; | file | diff | annotate |
2008-11-30 | wenzelm | tuned; | file | diff | annotate |
2008-11-30 | wenzelm | misc tuning and clarification; | file | diff | annotate |
2008-11-29 | wenzelm | tuned; | file | diff | annotate |
2008-11-29 | wenzelm | further notes; | file | diff | annotate |
2008-11-29 | wenzelm | Important notes on Mercurial repository access for Isabelle. | file | diff | annotate |