| 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 |