#
6a237366 |
|
22-Dec-2019 |
wenzelm <none@none> |
tuned;
|
#
3af787b3 |
|
22-Dec-2019 |
wenzelm <none@none> |
improved Markdown-like display in Phabricator;
|
#
5baf85c2 |
|
02-Apr-2019 |
wenzelm <none@none> |
misc tuning for release;
|
#
7c718ad5 |
|
18-Jul-2018 |
wenzelm <none@none> |
prefer HTTPS;
|
#
c54f7ec4 |
|
15-Mar-2018 |
wenzelm <none@none> |
clarified message;
|
#
bdd259e4 |
|
18-Jan-2016 |
wenzelm <none@none> |
updated mirrors according to website;
|
#
1712af77 |
|
16-Jan-2016 |
wenzelm <none@none> |
tuned URLs according to website;
|
#
592c7699 |
|
01-Jul-2014 |
wenzelm <none@none> |
misc updates for release;
|
#
df4e6c56 |
|
03-Oct-2013 |
wenzelm <none@none> |
tuned;
|
#
75535ad5 |
|
28-Sep-2013 |
wenzelm <none@none> |
updated for release;
|
#
ec15df4c |
|
11-Sep-2013 |
wenzelm <none@none> |
updated for release;
|
#
29c663cc |
|
16-Dec-2012 |
wenzelm <none@none> |
updated README;
|
#
0bb88d30 |
|
27-Apr-2012 |
wenzelm <none@none> |
tuned;
|
#
0d3a78c1 |
|
27-Apr-2012 |
wenzelm <none@none> |
some updates on classic README, reduce the impression that there is much to install manually;
|
#
c216472f |
|
25-Apr-2012 |
wenzelm <none@none> |
back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
|
#
13e5e136 |
|
13-Apr-2012 |
wenzelm <none@none> |
some updates for release;
|
#
527f9a09 |
|
18-Sep-2011 |
wenzelm <none@none> |
tuned;
|
#
332aae5a |
|
07-Sep-2011 |
wenzelm <none@none> |
some updates for release;
|
#
b91248b9 |
|
16-Jan-2011 |
wenzelm <none@none> |
misc updates for release;
|
#
1d0ba857 |
|
12-Jan-2011 |
wenzelm <none@none> |
updated to ProofGeneral-4.x;
|
#
32932479 |
|
17-Aug-2010 |
wenzelm <none@none> |
discontinued support for Poly/ML 5.0 and 5.1 versions;
|
#
5de03852 |
|
09-Jun-2010 |
wenzelm <none@none> |
removed outdated/confusing INSTALL file;
|
#
238eb369 |
|
28-May-2010 |
wenzelm <none@none> |
some updates for release;
|
#
4c2b31ed |
|
12-May-2010 |
wenzelm <none@none> |
updated some version numbers;
|
#
e50c8c42 |
|
22-Nov-2009 |
wenzelm <none@none> |
misc tuning and updates for official release;
|
#
39b718f9 |
|
11-Aug-2009 |
wenzelm <none@none> |
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
|
#
113a823e |
|
15-Apr-2009 |
wenzelm <none@none> |
misc tuning for Isabelle2009;
|
#
3d3d63ab |
|
02-Apr-2009 |
wenzelm <none@none> |
misc tuning for release;
|
#
c029596a |
|
17-Jul-2008 |
wenzelm <none@none> |
tuned line breaks (NB: generated text is inserted here);
|
#
8f0f7b35 |
|
04-Jun-2008 |
haftmann <none@none> |
adjusted location of cambridge website
|
#
513a2601 |
|
28-May-2008 |
wenzelm <none@none> |
tuned version numbers;
|
#
2b6e1904 |
|
20-Nov-2007 |
wenzelm <none@none> |
updated Proof General advertisement; tuned line breaks;
|
#
49334b62 |
|
12-Nov-2007 |
wenzelm <none@none> |
removed left-over text links from lynx conversion; removed umlauts (cannot assume iso-latin anymore, and not yet utf-8 either);
|
#
4ee2b2ae |
|
26-Oct-2007 |
haftmann <none@none> |
ASCIIfied README
|
#
2aac9b5e |
|
20-May-1997 |
wenzelm <none@none> |
now generated automatically from README.html;
|
#
a040aa1d |
|
27-Nov-1996 |
paulson <none@none> |
Updated instructions
|
#
ca90663b |
|
21-Nov-1996 |
paulson <none@none> |
Further comments on versions of SML/NJ
|
#
c3751c0d |
|
18-Nov-1996 |
paulson <none@none> |
Updated and clearer(?) instructions
|
#
19c16c50 |
|
21-Oct-1996 |
paulson <none@none> |
Mentions the possibility of pathnames in ISABELLECOMP;
|
#
cb1c452d |
|
19-Jan-1995 |
lcp <none@none> |
README: Now documents to Tools directory
|
#
0d08d75e |
|
20-Dec-1994 |
lcp <none@none> |
Moved description of tools to Tools/README
|
#
9daf71b7 |
|
13-Sep-1994 |
lcp <none@none> |
updated for Isabelle94
|
#
66956d8c |
|
12-Jul-1994 |
lcp <none@none> |
minor updates
|
#
7c9767ec |
|
13-May-1994 |
lcp <none@none> |
make-all-poly, make-all-nj: restored to main directory as examples README: modified accordingly
|
#
3b32b5ce |
|
13-Dec-1993 |
lcp <none@none> |
added isabelle-users paragraph
|
#
18495b27 |
|
05-Nov-1993 |
nipkow <none@none> |
change of my address
|
#
7f07942b |
|
05-Nov-1993 |
lcp <none@none> |
Added documenation of change_simp.
|
#
b1c52cd6 |
|
28-Oct-1993 |
lcp <none@none> |
deletion of obsolete/private files; update of README
|
#
f253ef6a |
|
15-Sep-1993 |
clasohm <none@none> |
Initial revision
|