Mercurial
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
branches
|
file
| revisions |
annotate
|
diff
|
rss
INSTALL
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-12-20
wenzelm
2008-12-20
removed Ids;
file
|
diff
|
annotate
2008-10-04
wenzelm
2008-10-04
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
file
|
diff
|
annotate
2007-10-01
wenzelm
2007-10-01
tuned;
file
|
diff
|
annotate
2005-09-21
wenzelm
2005-09-21
updated for Isabelle2005;
file
|
diff
|
annotate
2005-07-01
wenzelm
2005-07-01
isatool install: removed KDE option;
file
|
diff
|
annotate
2005-06-20
wenzelm
2005-06-20
./configure obsolete on virtually all systems, but apt to cause problems;
file
|
diff
|
annotate
2003-05-13
kleing
2003-05-13
HOL-Real -> HOL-Complex
file
|
diff
|
annotate
2003-05-12
kleing
2003-05-12
removed references to KDE versions (works for any).
file
|
diff
|
annotate
2001-02-14
wenzelm
2001-02-14
isatool install -k;
file
|
diff
|
annotate
2000-09-26
wenzelm
2000-09-26
simplified;
file
|
diff
|
annotate
2000-09-20
wenzelm
2000-09-20
tuned rpm command lines;
file
|
diff
|
annotate
2000-09-19
wenzelm
2000-09-19
updated;
file
|
diff
|
annotate
2000-09-11
wenzelm
2000-09-11
tuned;
file
|
diff
|
annotate
2000-05-05
wenzelm
2000-05-05
updated;
file
|
diff
|
annotate
1999-04-22
wenzelm
1999-04-22
tuned;
file
|
diff
|
annotate
1999-04-13
wenzelm
1999-04-13
adapted isatool install;
file
|
diff
|
annotate
1999-03-10
wenzelm
1999-03-10
tuned;
file
|
diff
|
annotate
1999-02-08
wenzelm
1999-02-08
no deps on compile time sources;
file
|
diff
|
annotate
1998-08-27
wenzelm
1998-08-27
tuned;
file
|
diff
|
annotate
1998-08-27
wenzelm
1998-08-27
isatool install;
file
|
diff
|
annotate
1997-11-20
wenzelm
1997-11-20
removed old note;
file
|
diff
|
annotate
1997-05-23
wenzelm
1997-05-23
tuned;
file
|
diff
|
annotate
1997-05-20
wenzelm
1997-05-20
tuned;
file
|
diff
|
annotate
1997-05-06
wenzelm
1997-05-06
tuned;
file
|
diff
|
annotate
1997-03-07
wenzelm
1997-03-07
tuned;
file
|
diff
|
annotate
1997-03-07
wenzelm
1997-03-07
Isabelle installation notes;
file
|
diff
|
annotate