2019-12-22 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2019-12-22 |
wenzelm |
improved Markdown-like display in Phabricator;
|
file |
diff |
annotate
|
2019-04-02 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2018-07-18 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
2018-03-15 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
2016-01-18 |
wenzelm |
updated mirrors according to website;
|
file |
diff |
annotate
|
2016-01-16 |
wenzelm |
tuned URLs according to website;
|
file |
diff |
annotate
|
2014-07-01 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
2013-10-03 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-09-29 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2013-09-11 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2012-12-16 |
wenzelm |
updated README;
|
file |
diff |
annotate
|
2012-04-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2012-04-27 |
wenzelm |
some updates on classic README, reduce the impression that there is much to install manually;
|
file |
diff |
annotate
|
2012-04-25 |
wenzelm |
back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
|
file |
diff |
annotate
|
2012-04-14 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
2011-09-18 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2011-09-07 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
2011-01-16 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
2011-01-12 |
wenzelm |
updated to ProofGeneral-4.x;
|
file |
diff |
annotate
|
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
|