| Wed, 25 Sep 2013 13:52:54 +0100 |
installation dependent files restored.
|
file | diff | annotate |
| Fri, 17 Aug 2012 11:42:05 +0200 |
allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira;
|
file | diff | annotate |
| Wed, 10 Oct 2012 18:41:15 +0200 |
update Isabelle2011 --> Isabelle2012: setup ok
|
file | diff | annotate |
| Fri, 22 Jul 2011 17:09:35 +0200 |
restore Isabelle setup
|
file | diff | annotate |
| Tue, 19 Jul 2011 10:44:27 +0200 |
intermed: presentation
|
file | diff | annotate |
| Tue, 11 Jan 2011 19:55:34 +0100 |
isabelle version -i;
|
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 |
| Sat, 20 Dec 2008 11:39:27 +0100 |
removed Ids;
|
file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 |
Merged in license change from Isabelle2004
|
file | diff | annotate |
| Mon, 03 Feb 2003 11:45:05 +0100 |
New tool for displaying version information.
|
file | diff | annotate |