Mercurial
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
branches
|
file
| revisions |
annotate
|
diff
|
rss
(0)
tip
README_REPOSITORY
18 months ago
wenzelm
2010-11-18
some updates after 2 years of Mercurial usage;
file
|
diff
|
annotate
2010-05-12
wenzelm
2010-05-12
updated some version numbers;
file
|
diff
|
annotate
2010-03-04
wenzelm
2010-03-04
point to http://hginit.com/
file
|
diff
|
annotate
2009-08-11
wenzelm
2009-08-11
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
file
|
diff
|
annotate
2009-03-01
wenzelm
2009-03-01
minor update of Mercurial HOWTO;
file
|
diff
|
annotate
2009-01-14
wenzelm
2009-01-14
tuned ASCII art;
file
|
diff
|
annotate
2008-11-30
wenzelm
2008-11-30
fixed spelling; tuned;
file
|
diff
|
annotate
2008-11-30
wenzelm
2008-11-30
tuned;
file
|
diff
|
annotate
2008-11-30
wenzelm
2008-11-30
misc tuning and clarification;
file
|
diff
|
annotate
2008-11-29
wenzelm
2008-11-29
tuned;
file
|
diff
|
annotate
2008-11-29
wenzelm
2008-11-29
further notes; tuned;
file
|
diff
|
annotate
2008-11-29
wenzelm
2008-11-29
Important notes on Mercurial repository access for Isabelle.
file
|
diff
|
annotate
(0)
tip