| Mon, 21 Jun 2010 18:31:52 +0200 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| Wed, 09 Jun 2010 15:09:00 +0200 |
wenzelm |
contrib/README;
|
file |
diff |
annotate
|
| Wed, 09 Jun 2010 14:08:08 +0200 |
wenzelm |
removed outdated/confusing INSTALL file;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2010 17:50:40 +0200 |
wenzelm |
refer to isabelle-release branch;
|
file |
diff |
annotate
|
| Sun, 06 Jun 2010 18:04:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 31 May 2010 21:29:27 +0200 |
wenzelm |
remove presently unused Isabelle application;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2009 12:07:44 +0100 |
wenzelm |
keep future Isabelle application entry point;
|
file |
diff |
annotate
|
| Fri, 04 Dec 2009 11:41:17 +0100 |
wenzelm |
back to main repository;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2009 23:08:26 +0100 |
wenzelm |
proper quotes;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2009 22:38:22 +0100 |
wenzelm |
more abstract handling of repository name;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2009 15:30:03 +0100 |
wenzelm |
refer to isabelle-release branch;
|
file |
diff |
annotate
|
| Sun, 22 Nov 2009 14:59:27 +0100 |
wenzelm |
remove presently unused Isabelle application;
|
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, 28 Jun 2009 19:29:28 +0200 |
wenzelm |
discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things;
|
file |
diff |
annotate
|
| Tue, 07 Apr 2009 23:25:50 +0200 |
wenzelm |
misc tuning and updates;
|
file |
diff |
annotate
|