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
.
doc-src/System/basics.tex
2005-05-17
wenzelm
no longer support isa-FOO interface;
file
|
diff
|
annotate
2005-04-09
wenzelm
added PDF_VIEWER, ISABELLE_DOC_FORMAT;
file
|
diff
|
annotate
2004-06-13
wenzelm
added PRINT_COMMAND setting
file
|
diff
|
annotate
2002-03-08
wenzelm
tuned;
file
|
diff
|
annotate
2001-12-11
wenzelm
updated;
file
|
diff
|
annotate
2001-09-27
wenzelm
updated;
file
|
diff
|
annotate
2001-01-15
wenzelm
isabelle -f;
file
|
diff
|
annotate
2000-09-28
wenzelm
isabelle -C;
file
|
diff
|
annotate
2000-09-15
wenzelm
isabelle: -P option;
file
|
diff
|
annotate
2000-09-01
wenzelm
ISABELLE_PATH: ML_IDENTIFIER no longer added;
file
|
diff
|
annotate
2000-03-08
wenzelm
isabelle -c: tell ML system to compress output image;
file
|
diff
|
annotate
1999-10-19
wenzelm
tuned;
file
|
diff
|
annotate
1999-10-18
wenzelm
tuned;
file
|
diff
|
annotate
1999-10-14
wenzelm
tuned;
file
|
diff
|
annotate
1999-10-13
wenzelm
updated;
file
|
diff
|
annotate
1999-08-18
wenzelm
replaced 'ProofGeneral' by 'Proof General';
file
|
diff
|
annotate
1999-08-16
wenzelm
user infaces: tuned, added ProofGeneral;
file
|
diff
|
annotate
1999-04-13
wenzelm
tuned;
file
|
diff
|
annotate
1999-04-12
wenzelm
ML_PLATFORM;
file
|
diff
|
annotate
1998-11-09
wenzelm
isabelle -I;
file
|
diff
|
annotate
1998-08-24
wenzelm
emacs local vars;
file
|
diff
|
annotate
1998-01-12
wenzelm
tuned;
file
|
diff
|
annotate
1998-01-09
wenzelm
tuned ISABELLE_TMP_PREFIX;
file
|
diff
|
annotate
1998-01-08
wenzelm
updated to Isabelle98;
file
|
diff
|
annotate
1997-05-21
wenzelm
release version (sort of);
file
|
diff
|
annotate
1997-05-20
wenzelm
under construction;
file
|
diff
|
annotate
1997-05-16
wenzelm
still under construction!
file
|
diff
|
annotate
1997-05-14
wenzelm
preliminary!
file
|
diff
|
annotate
less
more
(0)
tip