2021-01-25 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2020-03-22 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2018-06-04 |
wenzelm |
updated URLs;
|
file |
diff |
annotate
|
2018-03-02 |
wenzelm |
prefer https;
|
file |
diff |
annotate
|
2017-10-03 |
wenzelm |
prefer Cygwin64, although some components still require update;
|
file |
diff |
annotate
|
2017-10-02 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
2016-10-01 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2016-07-14 |
wenzelm |
prefer curl: presumably more portable and versatile;
|
file |
diff |
annotate
|
2014-01-09 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-09-02 |
wenzelm |
updated according to bceec99254b0;
|
file |
diff |
annotate
|
2013-04-02 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-03-24 |
wenzelm |
more "quick start" hints;
|
file |
diff |
annotate
|
2013-02-01 |
wenzelm |
standardized isabelle-server.in.tum.de;
|
file |
diff |
annotate
|
2012-12-31 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2012-12-31 |
wenzelm |
simplified quick start via "isabelle components -I";
|
file |
diff |
annotate
|
2012-12-26 |
wenzelm |
prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
|
file |
diff |
annotate
|
2012-12-17 |
wenzelm |
prefer implicit build_dialog of isabelle jedit;
|
file |
diff |
annotate
|
2012-12-10 |
wenzelm |
further clarification for Windows;
|
file |
diff |
annotate
|
2012-12-10 |
wenzelm |
some clarification for Windows;
|
file |
diff |
annotate
|
2012-11-29 |
wenzelm |
further update and clarification of the all-important README_REPOSITORY;
|
file |
diff |
annotate
|
2012-09-19 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2012-09-13 |
wenzelm |
instructions for quick start in 20min;
|
file |
diff |
annotate
|
2012-08-28 |
wenzelm |
update on "isabelle build" and "isabelle build_doc";
|
file |
diff |
annotate
|
2012-08-17 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2012-08-17 |
wenzelm |
Backed out changeset ec82c33c75f8;
|
file |
diff |
annotate
|
2012-08-17 |
webertj |
Typo fixed.
|
file |
diff |
annotate
|
2012-08-17 |
wenzelm |
some explanations on isabelle components;
|
file |
diff |
annotate
|
2012-07-25 |
wenzelm |
some updates on "Building a repository version of Isabelle";
|
file |
diff |
annotate
|
2012-04-13 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
2010-11-18 |
wenzelm |
some updates after 2 years of Mercurial usage;
|
file |
diff |
annotate
|
2010-05-12 |
wenzelm |
updated some version numbers;
|
file |
diff |
annotate
|
2010-03-04 |
wenzelm |
point to http://hginit.com/
|
file |
diff |
annotate
|
2009-08-11 |
wenzelm |
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
|
file |
diff |
annotate
|
2009-03-01 |
wenzelm |
minor update of Mercurial HOWTO;
|
file |
diff |
annotate
|
2009-01-14 |
wenzelm |
tuned ASCII art;
|
file |
diff |
annotate
|
2008-11-30 |
wenzelm |
fixed spelling;
|
file |
diff |
annotate
|
2008-11-30 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2008-11-30 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
2008-11-29 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2008-11-29 |
wenzelm |
further notes;
|
file |
diff |
annotate
|
2008-11-29 |
wenzelm |
Important notes on Mercurial repository access for Isabelle.
|
file |
diff |
annotate
|