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
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