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.html
2005-09-21
wenzelm
updated for Isabelle2005;
file
|
diff
|
annotate
2005-06-09
haftmann
a very little cleanup
file
|
diff
|
annotate
2005-03-07
webertj
HTML 4.01 Transitional conformity
file
|
diff
|
annotate
2004-11-12
webertj
added DOCTYPE and Content-Type declarations to make this a valid HTML file
file
|
diff
|
annotate
2004-04-19
paulson
fixed address
file
|
diff
|
annotate
2004-04-19
paulson
fixed address
file
|
diff
|
annotate
2004-04-18
kleing
updated Tobias' address
file
|
diff
|
annotate
2004-04-17
kleing
do not mention MLWorks and poly 3.x any more, they are untested
file
|
diff
|
annotate
2003-12-16
kleing
fixed PG link
file
|
diff
|
annotate
2003-05-12
kleing
smlnj link update, x-symbol/PG update
file
|
diff
|
annotate
2002-05-13
wenzelm
updated X-Symbol URL;
file
|
diff
|
annotate
2002-03-04
wenzelm
tuned;
file
|
diff
|
annotate
2001-09-26
wenzelm
updated;
file
|
diff
|
annotate
2001-02-15
wenzelm
tuned;
file
|
diff
|
annotate
2001-02-05
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-26
wenzelm
www.proofgeneral.org;
file
|
diff
|
annotate
2000-09-11
wenzelm
tuned;
file
|
diff
|
annotate
2000-07-23
wenzelm
tuned;
file
|
diff
|
annotate
2000-05-05
wenzelm
updated;
file
|
diff
|
annotate
2000-03-09
paulson
updated discussion of compilers
file
|
diff
|
annotate
1999-12-21
oheimb
corrected, improved eMail addresses, user interface section
file
|
diff
|
annotate
1999-10-28
wenzelm
tuned;
file
|
diff
|
annotate
1999-09-06
wenzelm
tuned;
file
|
diff
|
annotate
1999-04-22
wenzelm
tuned;
file
|
diff
|
annotate
1999-01-14
wenzelm
tuned;
file
|
diff
|
annotate
1999-01-11
wenzelm
tuned, updated;
file
|
diff
|
annotate
1998-10-21
wenzelm
dropped support for SML/NJ 109.x;
file
|
diff
|
annotate
1998-10-20
paulson
updated the MLWorks description
file
|
diff
|
annotate
1998-10-18
wenzelm
updated, tuned;
file
|
diff
|
annotate
1998-09-22
wenzelm
tuned Isamode;
file
|
diff
|
annotate
1998-08-28
wenzelm
tuned;
file
|
diff
|
annotate
1998-08-27
wenzelm
www.in.tum.de;
file
|
diff
|
annotate
1998-07-28
wenzelm
tuned;
file
|
diff
|
annotate
1998-05-29
wenzelm
tuned;
file
|
diff
|
annotate
1998-05-28
wenzelm
version under control of Admin/makedist;
file
|
diff
|
annotate
1998-01-19
wenzelm
tuned;
file
|
diff
|
annotate
1997-12-24
wenzelm
tuned;
file
|
diff
|
annotate
1997-12-17
wenzelm
added MLWorks;
file
|
diff
|
annotate
1997-12-15
wenzelm
tuned;
file
|
diff
|
annotate
1997-12-12
wenzelm
prepared for Isabelle98;
file
|
diff
|
annotate
1997-11-06
wenzelm
Perl no longer optional;
file
|
diff
|
annotate
1997-08-06
wenzelm
removed smlnj-1.07;
file
|
diff
|
annotate
1997-05-27
wenzelm
added 1.09.28 note;
file
|
diff
|
annotate
1997-05-23
wenzelm
tuned;
file
|
diff
|
annotate
1997-05-22
wenzelm
added href to Isamode;
file
|
diff
|
annotate
1997-05-21
wenzelm
tuned all READMEs;
file
|
diff
|
annotate
1997-05-21
wenzelm
tuned;
file
|
diff
|
annotate
1997-05-20
wenzelm
fix spelling;
file
|
diff
|
annotate
1997-05-20
wenzelm
the new README;
file
|
diff
|
annotate
less
more
(0)
tip