| Thu, 09 Jan 2014 21:11:05 +0100 |
tuned;
|
file | diff | annotate |
| Wed, 20 Nov 2013 16:25:07 +0100 |
merged
|
file | diff | annotate |
| Mon, 02 Sep 2013 11:03:02 +0200 |
updated according to bceec99254b0;
|
file | diff | annotate |
| Tue, 02 Apr 2013 20:19:38 +0200 |
tuned;
|
file | diff | annotate |
| Sun, 24 Mar 2013 14:26:10 +0100 |
more "quick start" hints;
|
file | diff | annotate |
| Mon, 15 Jul 2013 06:05:32 +0200 |
tuned
|
file | diff | annotate |
| Sun, 14 Jul 2013 14:48:14 +0200 |
merged
|
file | diff | annotate |
| Fri, 01 Feb 2013 21:31:21 +0100 |
standardized isabelle-server.in.tum.de;
|
file | diff | annotate |
| Mon, 31 Dec 2012 16:16:43 +0100 |
tuned;
|
file | diff | annotate |
| Mon, 31 Dec 2012 15:56:17 +0100 |
simplified quick start via "isabelle components -I";
|
file | diff | annotate |
| Wed, 26 Dec 2012 11:06:21 +0100 |
prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
|
file | diff | annotate |
| Mon, 17 Dec 2012 14:07:34 +0100 |
prefer implicit build_dialog of isabelle jedit;
|
file | diff | annotate |
| Mon, 10 Dec 2012 16:27:03 +0100 |
further clarification for Windows;
|
file | diff | annotate |
| Mon, 10 Dec 2012 15:39:20 +0100 |
some clarification for Windows;
|
file | diff | annotate |
| Thu, 29 Nov 2012 10:56:59 +0100 |
further update and clarification of the all-important README_REPOSITORY;
|
file | diff | annotate |
| Wed, 19 Sep 2012 13:19:45 +0200 |
tuned;
|
file | diff | annotate |
| Thu, 13 Sep 2012 16:10:20 +0200 |
instructions for quick start in 20min;
|
file | diff | annotate |
| Tue, 28 Aug 2012 19:02:41 +0200 |
update on "isabelle build" and "isabelle build_doc";
|
file | diff | annotate |
| Fri, 17 Aug 2012 21:16:13 +0200 |
tuned;
|
file | diff | annotate |
| Fri, 17 Aug 2012 21:15:36 +0200 |
Backed out changeset ec82c33c75f8;
|
file | diff | annotate |
| Fri, 17 Aug 2012 20:31:12 +0200 |
Typo fixed.
|
file | diff | annotate |
| Fri, 17 Aug 2012 17:35:07 +0200 |
some explanations on isabelle components;
|
file | diff | annotate |
| Wed, 25 Jul 2012 12:38:54 +0200 |
some updates on "Building a repository version of Isabelle";
|
file | diff | annotate |
| Wed, 10 Oct 2012 18:41:15 +0200 |
update Isabelle2011 --> Isabelle2012: setup ok
|
file | diff | annotate |
| Wed, 10 Oct 2012 17:23:32 +0200 |
during Isabelle2011 --> Isabelle2012
|
file | diff | annotate |
| Mon, 24 Sep 2012 18:15:49 +0200 |
merged
|
file | diff | annotate |
| Fri, 13 Apr 2012 12:09:25 +0200 |
misc tuning;
|
file | diff | annotate |
| Fri, 25 Feb 2011 13:04:56 +0100 |
merged isabisac with Isabelle2011
|
file | diff | annotate |
| Thu, 18 Nov 2010 22:34:32 +0100 |
some updates after 2 years of Mercurial usage;
|
file | diff | annotate |
| Thu, 22 Jul 2010 10:44:58 +0200 |
comments on how to clone repository
|
file | diff | annotate |
| Wed, 21 Jul 2010 13:53:39 +0200 |
added isac-hook in Pure/thm and isac-code
|
file | diff | annotate |
| Wed, 12 May 2010 13:52:34 +0200 |
updated some version numbers;
|
file | diff | annotate |
| Thu, 04 Mar 2010 21:02:21 +0100 |
point to http://hginit.com/
|
file | diff | annotate |
| Tue, 11 Aug 2009 15:53:13 +0200 |
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 |
minor update of Mercurial HOWTO;
|
file | diff | annotate |
| Wed, 14 Jan 2009 19:38:55 +0100 |
tuned ASCII art;
|
file | diff | annotate |
| Sun, 30 Nov 2008 15:03:47 +0100 |
fixed spelling;
|
file | diff | annotate |
| Sun, 30 Nov 2008 14:43:29 +0100 |
tuned;
|
file | diff | annotate |
| Sun, 30 Nov 2008 12:25:54 +0100 |
misc tuning and clarification;
|
file | diff | annotate |
| Sat, 29 Nov 2008 19:01:28 +0100 |
tuned;
|
file | diff | annotate |
| Sat, 29 Nov 2008 18:19:59 +0100 |
further notes;
|
file | diff | annotate |
| Sat, 29 Nov 2008 17:09:28 +0100 |
Important notes on Mercurial repository access for Isabelle.
|
file | diff | annotate |