Mercurial
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
branches
|
files
|
gz
1999-10-31
wenzelm [Sun, 31 Oct 1999 20:11:23 +0100] rev 7990
Isabelle99
updated;
doc-src/IsarRef/generic.tex
doc-src/IsarRef/hol.tex
doc-src/Ref/classical.tex
doc-src/Ref/goals.tex
doc-src/Ref/introduction.tex
doc-src/Ref/simplifier.tex
1999-10-31
wenzelm [Sun, 31 Oct 1999 15:26:37 +0100] rev 7989
updated;
doc-src/manual.bib
1999-10-31
wenzelm [Sun, 31 Oct 1999 15:25:55 +0100] rev 7988
tuned;
doc-src/IsarRef/isar-ref.tex
doc-src/IsarRef/pure.tex
1999-10-31
wenzelm [Sun, 31 Oct 1999 15:20:35 +0100] rev 7987
tuned;
doc-src/IsarRef/generic.tex
doc-src/IsarRef/hol.tex
doc-src/IsarRef/intro.tex
doc-src/IsarRef/pure.tex
doc-src/IsarRef/refcard.tex
1999-10-30
wenzelm [Sat, 30 Oct 1999 20:41:30 +0200] rev 7986
Isabelle99;
NEWS
1999-10-30
wenzelm [Sat, 30 Oct 1999 20:39:01 +0200] rev 7985
fixed deps;
src/HOL/IsaMakefile
1999-10-30
wenzelm [Sat, 30 Oct 1999 20:32:04 +0200] rev 7984
tuned;
src/HOL/Real/HahnBanach/document/bbb.sty
src/HOL/Real/HahnBanach/document/notation.tex
src/HOL/Real/HahnBanach/document/root.tex
1999-10-30
wenzelm [Sat, 30 Oct 1999 20:21:46 +0200] rev 7983
tuned;
src/HOL/README.html
1999-10-30
wenzelm [Sat, 30 Oct 1999 20:20:48 +0200] rev 7982
improved presentation;
src/HOL/Isar_examples/BasicLogic.thy
src/HOL/Isar_examples/Cantor.thy
src/HOL/Isar_examples/ExprCompiler.thy
src/HOL/Isar_examples/Group.thy
src/HOL/Isar_examples/KnasterTarski.thy
src/HOL/Isar_examples/MultisetOrder.thy
src/HOL/Isar_examples/Peirce.thy
src/HOL/Isar_examples/Summation.thy
src/HOL/Isar_examples/W_correct.thy
src/HOL/Isar_examples/document/style.tex
1999-10-30
wenzelm [Sat, 30 Oct 1999 20:13:16 +0200] rev 7981
tuned;
doc-src/IsarRef/basics.tex
doc-src/IsarRef/generic.tex
doc-src/IsarRef/intro.tex
doc-src/IsarRef/isar-ref.tex
doc-src/IsarRef/pure.tex
doc-src/IsarRef/refcard.tex
doc-src/IsarRef/syntax.tex