#
8c8cd704 |
|
04-Jun-2018 |
wenzelm <none@none> |
updated URLs;
|
#
22a0d104 |
|
02-Mar-2018 |
wenzelm <none@none> |
prefer https;
|
#
46b967a9 |
|
03-Oct-2017 |
wenzelm <none@none> |
prefer Cygwin64, although some components still require update;
|
#
a73d4719 |
|
02-Oct-2017 |
wenzelm <none@none> |
more documentation;
|
#
885ce12d |
|
01-Oct-2016 |
wenzelm <none@none> |
tuned;
|
#
30bf3ded |
|
13-Jul-2016 |
wenzelm <none@none> |
prefer curl: presumably more portable and versatile;
|
#
ac580968 |
|
09-Jan-2014 |
wenzelm <none@none> |
tuned;
|
#
81dc95ff |
|
02-Sep-2013 |
wenzelm <none@none> |
updated according to bceec99254b0;
|
#
f94d5eec |
|
02-Apr-2013 |
wenzelm <none@none> |
tuned;
|
#
f7cc30a0 |
|
24-Mar-2013 |
wenzelm <none@none> |
more "quick start" hints; more explicit "Testing of changes", instead of convoluted "Building a repository version of Isabelle"; tuned;
|
#
cae5c034 |
|
01-Feb-2013 |
wenzelm <none@none> |
standardized isabelle-server.in.tum.de;
|
#
5be4fda8 |
|
31-Dec-2012 |
wenzelm <none@none> |
tuned;
|
#
56d5ad1f |
|
31-Dec-2012 |
wenzelm <none@none> |
simplified quick start via "isabelle components -I";
|
#
2df2c68d |
|
26-Dec-2012 |
wenzelm <none@none> |
prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
|
#
5099f726 |
|
17-Dec-2012 |
wenzelm <none@none> |
prefer implicit build_dialog of isabelle jedit; clarified isabelle build variants; back to $HOME despite some chance that Windows users get it wrong;
|
#
547a7c36 |
|
10-Dec-2012 |
wenzelm <none@none> |
further clarification for Windows;
|
#
9f37f481 |
|
10-Dec-2012 |
wenzelm <none@none> |
some clarification for Windows;
|
#
a410ed44 |
|
29-Nov-2012 |
wenzelm <none@none> |
further update and clarification of the all-important README_REPOSITORY;
|
#
300a53ed |
|
19-Sep-2012 |
wenzelm <none@none> |
tuned;
|
#
df6ae83e |
|
13-Sep-2012 |
wenzelm <none@none> |
instructions for quick start in 20min;
|
#
5e7b166f |
|
28-Aug-2012 |
wenzelm <none@none> |
update on "isabelle build" and "isabelle build_doc";
|
#
71cef73b |
|
17-Aug-2012 |
wenzelm <none@none> |
tuned;
|
#
ec5de6eb |
|
17-Aug-2012 |
wenzelm <none@none> |
Backed out changeset ec82c33c75f8;
|
#
148a4093 |
|
17-Aug-2012 |
webertj <none@none> |
Typo fixed.
|
#
ed7afb33 |
|
17-Aug-2012 |
wenzelm <none@none> |
some explanations on isabelle components;
|
#
b8bbb8e3 |
|
24-Jul-2012 |
wenzelm <none@none> |
some updates on "Building a repository version of Isabelle";
|
#
24c4c500 |
|
12-Apr-2012 |
wenzelm <none@none> |
misc tuning; atbroy100 no longer available (?);
|
#
141cf2c2 |
|
18-Nov-2010 |
wenzelm <none@none> |
some updates after 2 years of Mercurial usage;
|
#
4c2b31ed |
|
12-May-2010 |
wenzelm <none@none> |
updated some version numbers;
|
#
3b90b4bc |
|
04-Mar-2010 |
wenzelm <none@none> |
point to http://hginit.com/
|
#
39b718f9 |
|
11-Aug-2009 |
wenzelm <none@none> |
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
|
#
4ae144e5 |
|
28-Feb-2009 |
wenzelm <none@none> |
minor update of Mercurial HOWTO;
|
#
4325d843 |
|
14-Jan-2009 |
wenzelm <none@none> |
tuned ASCII art;
|
#
85fa35ba |
|
30-Nov-2008 |
wenzelm <none@none> |
fixed spelling; tuned;
|
#
0a15df0e |
|
30-Nov-2008 |
wenzelm <none@none> |
tuned;
|
#
46ebd564 |
|
29-Nov-2008 |
wenzelm <none@none> |
misc tuning and clarification;
|
#
e7a06d0a |
|
29-Nov-2008 |
wenzelm <none@none> |
tuned;
|
#
24d86d86 |
|
29-Nov-2008 |
wenzelm <none@none> |
further notes; tuned;
|
#
8caf7947 |
|
29-Nov-2008 |
wenzelm <none@none> |
Important notes on Mercurial repository access for Isabelle.
|