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
.
TODO
2005-04-26
webertj
HTML standard conformity: done
file
|
diff
|
annotate
2005-04-25
nipkow
*** empty log message ***
file
|
diff
|
annotate
2005-04-15
nipkow
*** empty log message ***
file
|
diff
|
annotate
2005-04-12
nipkow
*** empty log message ***
file
|
diff
|
annotate
2005-04-07
nipkow
*** empty log message ***
file
|
diff
|
annotate
2005-04-05
nipkow
*** empty log message ***
file
|
diff
|
annotate
2005-01-19
nipkow
*** empty log message ***
file
|
diff
|
annotate
2005-01-17
nipkow
*** empty log message ***
file
|
diff
|
annotate
2004-12-20
nipkow
*** empty log message ***
file
|
diff
|
annotate
2004-12-17
kleing
sugar, not sugari. stupid vi ;-)
file
|
diff
|
annotate
2004-12-17
paulson
*** empty log message ***
file
|
diff
|
annotate
2004-12-16
kleing
LaTeXsugar
file
|
diff
|
annotate
2004-12-15
paulson
*** empty log message ***
file
|
diff
|
annotate
2004-12-09
paulson
converted Sum_Type to new-style theory: Inl, Inr are NO LONGER global
file
|
diff
|
annotate
2004-12-08
paulson
converted Lfp to new-style theory
file
|
diff
|
annotate
2004-11-30
paulson
converted Wellfounded_Relations to Isar script
file
|
diff
|
annotate
2004-11-25
paulson
ML
file
|
diff
|
annotate
2004-11-23
webertj
HTML conformity
file
|
diff
|
annotate
2004-11-23
nipkow
*** empty log message ***
file
|
diff
|
annotate
2004-08-17
kleing
todo before next release
file
|
diff
|
annotate
less
more
(0)
tip