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 |