| Tue, 28 Aug 2012 19:02:41 +0200 |
wenzelm |
update on "isabelle build" and "isabelle build_doc";
|
file |
diff |
annotate
|
| Fri, 17 Aug 2012 21:16:13 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 17 Aug 2012 21:15:36 +0200 |
wenzelm |
Backed out changeset ec82c33c75f8;
|
file |
diff |
annotate
|
| Fri, 17 Aug 2012 20:31:12 +0200 |
webertj |
Typo fixed.
|
file |
diff |
annotate
|
| Fri, 17 Aug 2012 17:35:07 +0200 |
wenzelm |
some explanations on isabelle components;
|
file |
diff |
annotate
|
| Wed, 25 Jul 2012 12:38:54 +0200 |
wenzelm |
some updates on "Building a repository version of Isabelle";
|
file |
diff |
annotate
|
| Fri, 13 Apr 2012 12:09:25 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Thu, 18 Nov 2010 22:34:32 +0100 |
wenzelm |
some updates after 2 years of Mercurial usage;
|
file |
diff |
annotate
|
| Wed, 12 May 2010 13:52:34 +0200 |
wenzelm |
updated some version numbers;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2010 21:02:21 +0100 |
wenzelm |
point to http://hginit.com/
|
file |
diff |
annotate
|
| Tue, 11 Aug 2009 15:53:13 +0200 |
wenzelm |
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
|
file |
diff |
annotate
|
| Sun, 01 Mar 2009 12:37:42 +0100 |
wenzelm |
minor update of Mercurial HOWTO;
|
file |
diff |
annotate
|
| Wed, 14 Jan 2009 19:38:55 +0100 |
wenzelm |
tuned ASCII art;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2008 15:03:47 +0100 |
wenzelm |
fixed spelling;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2008 14:43:29 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2008 12:25:54 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Sat, 29 Nov 2008 19:01:28 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 29 Nov 2008 18:19:59 +0100 |
wenzelm |
further notes;
|
file |
diff |
annotate
|
| Sat, 29 Nov 2008 17:09:28 +0100 |
wenzelm |
Important notes on Mercurial repository access for Isabelle.
|
file |
diff |
annotate
|