Mercurial
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
branches
|
file
| revisions |
annotate
|
diff
|
rss
README
8 months ago
wenzelm
2019-04-02
misc tuning for release;
file
|
diff
|
annotate
17 months ago
wenzelm
2018-07-18
prefer HTTPS;
file
|
diff
|
annotate
21 months ago
wenzelm
2018-03-15
clarified message;
file
|
diff
|
annotate
2016-01-18
wenzelm
2016-01-18
updated mirrors according to website;
file
|
diff
|
annotate
2016-01-16
wenzelm
2016-01-16
tuned URLs according to website;
file
|
diff
|
annotate
2014-07-01
wenzelm
2014-07-01
misc updates for release;
file
|
diff
|
annotate
2013-10-03
wenzelm
2013-10-03
tuned;
file
|
diff
|
annotate
2013-09-29
wenzelm
2013-09-29
updated for release;
file
|
diff
|
annotate
2013-09-11
wenzelm
2013-09-11
updated for release;
file
|
diff
|
annotate
2012-12-16
wenzelm
2012-12-16
updated README;
file
|
diff
|
annotate
2012-04-27
wenzelm
2012-04-27
tuned;
file
|
diff
|
annotate
2012-04-27
wenzelm
2012-04-27
some updates on classic README, reduce the impression that there is much to install manually;
file
|
diff
|
annotate
2012-04-25
wenzelm
2012-04-25
back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
file
|
diff
|
annotate
2012-04-14
wenzelm
2012-04-14
some updates for release;
file
|
diff
|
annotate
2011-09-18
wenzelm
2011-09-18
tuned;
file
|
diff
|
annotate
2011-09-07
wenzelm
2011-09-07
some updates for release;
file
|
diff
|
annotate
2011-01-16
wenzelm
2011-01-16
misc updates for release;
file
|
diff
|
annotate
2011-01-12
wenzelm
2011-01-12
updated to ProofGeneral-4.x;
file
|
diff
|
annotate
2010-08-17
wenzelm
2010-08-17
discontinued support for Poly/ML 5.0 and 5.1 versions;
file
|
diff
|
annotate
2010-06-09
wenzelm
2010-06-09
removed outdated/confusing INSTALL file;
file
|
diff
|
annotate
2010-05-28
wenzelm
2010-05-28
some updates for release;
file
|
diff
|
annotate
2010-05-12
wenzelm
2010-05-12
updated some version numbers;
file
|
diff
|
annotate
2009-11-22
wenzelm
2009-11-22
misc tuning and updates for official release;
file
|
diff
|
annotate
2009-08-11
wenzelm
2009-08-11
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
file
|
diff
|
annotate
2009-04-15
wenzelm
2009-04-15
misc tuning for Isabelle2009;
file
|
diff
|
annotate
2009-04-02
wenzelm
2009-04-02
misc tuning for release;
file
|
diff
|
annotate
2008-07-17
wenzelm
2008-07-17
tuned line breaks (NB: generated text is inserted here);
file
|
diff
|
annotate
2008-06-05
haftmann
2008-06-05
adjusted location of cambridge website
file
|
diff
|
annotate
2008-05-28
wenzelm
2008-05-28
tuned version numbers;
file
|
diff
|
annotate
2007-11-20
wenzelm
2007-11-20
updated Proof General advertisement; tuned line breaks;
file
|
diff
|
annotate
2007-11-12
wenzelm
2007-11-12
removed left-over text links from lynx conversion; removed umlauts (cannot assume iso-latin anymore, and not yet utf-8 either);
file
|
diff
|
annotate
2007-10-27
haftmann
2007-10-27
ASCIIfied README
file
|
diff
|
annotate
1996-11-27
paulson
1996-11-27
Updated instructions
file
|
diff
|
annotate
1996-11-21
paulson
1996-11-21
Further comments on versions of SML/NJ
file
|
diff
|
annotate
1996-11-18
paulson
1996-11-18
Updated and clearer(?) instructions
file
|
diff
|
annotate
1996-10-21
paulson
1996-10-21
Mentions the possibility of pathnames in ISABELLECOMP;
file
|
diff
|
annotate
1995-01-20
lcp
1995-01-20
README: Now documents to Tools directory
file
|
diff
|
annotate
1994-12-21
lcp
1994-12-21
Moved description of tools to Tools/README
file
|
diff
|
annotate
1994-09-13
lcp
1994-09-13
updated for Isabelle94
file
|
diff
|
annotate
1994-07-12
lcp
1994-07-12
minor updates
file
|
diff
|
annotate
1994-05-13
lcp
1994-05-13
make-all-poly, make-all-nj: restored to main directory as examples README: modified accordingly
file
|
diff
|
annotate
1993-12-13
lcp
1993-12-13
added isabelle-users paragraph
file
|
diff
|
annotate
1993-11-05
nipkow
1993-11-05
change of my address
file
|
diff
|
annotate
1993-11-05
lcp
1993-11-05
Added documenation of change_simp.
file
|
diff
|
annotate
1993-10-28
lcp
1993-10-28
deletion of obsolete/private files; update of README
file
|
diff
|
annotate
1993-09-16
clasohm
1993-09-16
Initial revision
file
|
diff
|
annotate