| Mon, 31 Dec 2012 16:16:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 15:56:17 +0100 |
wenzelm |
simplified quick start via "isabelle components -I";
|
file |
diff |
annotate
|
| Wed, 26 Dec 2012 11:06:21 +0100 |
wenzelm |
prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
|
file |
diff |
annotate
|
| Mon, 17 Dec 2012 14:07:34 +0100 |
wenzelm |
prefer implicit build_dialog of isabelle jedit;
|
file |
diff |
annotate
|
| Mon, 10 Dec 2012 16:27:03 +0100 |
wenzelm |
further clarification for Windows;
|
file |
diff |
annotate
|
| Mon, 10 Dec 2012 15:39:20 +0100 |
wenzelm |
some clarification for Windows;
|
file |
diff |
annotate
|
| Thu, 29 Nov 2012 10:56:59 +0100 |
wenzelm |
further update and clarification of the all-important README_REPOSITORY;
|
file |
diff |
annotate
|
| Wed, 19 Sep 2012 13:19:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 13 Sep 2012 16:10:20 +0200 |
wenzelm |
instructions for quick start in 20min;
|
file |
diff |
annotate
|
| 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
|