README_REPOSITORY
Tue, 11 Aug 2009 15:53:13 +0200 wenzelm clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
Sun, 01 Mar 2009 12:37:42 +0100 wenzelm minor update of Mercurial HOWTO;
Wed, 14 Jan 2009 19:38:55 +0100 wenzelm tuned ASCII art;
Sun, 30 Nov 2008 15:03:47 +0100 wenzelm fixed spelling;
Sun, 30 Nov 2008 14:43:29 +0100 wenzelm tuned;
Sun, 30 Nov 2008 12:25:54 +0100 wenzelm misc tuning and clarification;
Sat, 29 Nov 2008 19:01:28 +0100 wenzelm tuned;
Sat, 29 Nov 2008 18:19:59 +0100 wenzelm further notes;
Sat, 29 Nov 2008 17:09:28 +0100 wenzelm Important notes on Mercurial repository access for Isabelle.
less more (0) tip