Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
README_REPOSITORY
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
less
more
(0)
tip