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
.
COPYRIGHT
2015-12-31
wenzelm
misc updates for release;
file
|
diff
|
annotate
2015-04-08
wenzelm
misc tuning for release;
file
|
diff
|
annotate
2014-05-08
wenzelm
update for release;
file
|
diff
|
annotate
2012-12-31
wenzelm
updated for release;
file
|
diff
|
annotate
2012-04-14
wenzelm
some updates for release;
file
|
diff
|
annotate
2011-01-07
wenzelm
updated for 2011;
file
|
diff
|
annotate
2010-05-28
wenzelm
some updates for release;
file
|
diff
|
annotate
2009-04-15
wenzelm
updated for Isabelle2009;
file
|
diff
|
annotate
2008-06-20
wenzelm
updated for 2008;
file
|
diff
|
annotate
2007-10-01
wenzelm
updated year to 2007;
file
|
diff
|
annotate
2005-09-21
wenzelm
updated for Isabelle2005;
file
|
diff
|
annotate
2004-06-21
kleing
Merged in license change from Isabelle2004
file
|
diff
|
annotate
2003-06-19
paulson
inserted TUM in other places
file
|
diff
|
annotate
2003-06-16
paulson
added TUM
file
|
diff
|
annotate
1993-12-13
lcp
new year
file
|
diff
|
annotate
1993-09-16
clasohm
Initial revision
file
|
diff
|
annotate
less
more
(0)
tip