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
2010-08-17
wenzelm
discontinued support for Poly/ML 5.0 and 5.1 versions;
file
|
diff
|
annotate
2010-06-09
wenzelm
removed outdated/confusing INSTALL file;
file
|
diff
|
annotate
2010-05-28
wenzelm
some updates for release;
file
|
diff
|
annotate
2010-05-12
wenzelm
updated some version numbers;
file
|
diff
|
annotate
2009-11-22
wenzelm
misc tuning and updates for official release;
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-04-15
wenzelm
misc tuning for Isabelle2009;
file
|
diff
|
annotate
2009-04-02
wenzelm
misc tuning for release;
file
|
diff
|
annotate
2008-07-17
wenzelm
tuned line breaks (NB: generated text is inserted here);
file
|
diff
|
annotate
2008-06-05
haftmann
adjusted location of cambridge website
file
|
diff
|
annotate
2008-05-28
wenzelm
tuned version numbers;
file
|
diff
|
annotate
2007-11-20
wenzelm
updated Proof General advertisement;
file
|
diff
|
annotate
2007-11-12
wenzelm
removed left-over text links from lynx conversion;
file
|
diff
|
annotate
2007-10-27
haftmann
ASCIIfied README
file
|
diff
|
annotate
1996-11-27
paulson
Updated instructions
file
|
diff
|
annotate
1996-11-21
paulson
Further comments on versions of SML/NJ
file
|
diff
|
annotate
1996-11-18
paulson
Updated and clearer(?) instructions
file
|
diff
|
annotate
1996-10-21
paulson
Mentions the possibility of pathnames in ISABELLECOMP;
file
|
diff
|
annotate
1995-01-20
lcp
README: Now documents to Tools directory
file
|
diff
|
annotate
1994-12-21
lcp
Moved description of tools to Tools/README
file
|
diff
|
annotate
1994-09-13
lcp
updated for Isabelle94
file
|
diff
|
annotate
1994-07-12
lcp
minor updates
file
|
diff
|
annotate
1994-05-13
lcp
make-all-poly, make-all-nj: restored to main directory as examples
file
|
diff
|
annotate
1993-12-13
lcp
added isabelle-users paragraph
file
|
diff
|
annotate
1993-11-05
nipkow
change of my address
file
|
diff
|
annotate
1993-11-05
lcp
Added documenation of change_simp.
file
|
diff
|
annotate
1993-10-28
lcp
deletion of obsolete/private files; update of README
file
|
diff
|
annotate
1993-09-16
clasohm
Initial revision
file
|
diff
|
annotate
less
more
(0)
tip