2008-10-10 haftmann [Fri, 10 Oct 2008 15:52:45 +0200] rev 28565
tuned
doc-src/IsarAdvanced/Classes/Thy/Classes.thy doc-src/IsarAdvanced/Classes/Thy/ROOT.ML doc-src/IsarAdvanced/Classes/Thy/Setup.thy doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex doc-src/IsarAdvanced/Classes/classes.tex

2008-10-10 haftmann [Fri, 10 Oct 2008 15:23:33 +0200] rev 28564
tuned
doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy doc-src/IsarAdvanced/Codegen/Thy/Introduction.thy doc-src/IsarAdvanced/Codegen/Thy/Program.thy doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex doc-src/IsarAdvanced/Codegen/Thy/document/Introduction.tex doc-src/IsarAdvanced/Codegen/Thy/document/Program.tex doc-src/IsarAdvanced/Codegen/codegen.tex

2008-10-10 haftmann [Fri, 10 Oct 2008 06:49:44 +0200] rev 28563
tuned
NEWS

2008-10-10 haftmann [Fri, 10 Oct 2008 06:45:53 +0200] rev 28562
`code func` now just `code`
doc-src/IsarAdvanced/Codegen/Thy/Program.thy doc-src/IsarAdvanced/Codegen/Thy/document/Program.tex doc-src/IsarRef/Thy/HOL_Specific.thy doc-src/IsarRef/Thy/document/HOL_Specific.tex src/HOL/Code_Eval.thy src/HOL/Code_Setup.thy src/HOL/Complex/ex/ReflectedFerrack.thy src/HOL/Datatype.thy src/HOL/Divides.thy src/HOL/Equiv_Relations.thy src/HOL/Fun.thy src/HOL/HOL.thy src/HOL/Hyperreal/Integration.thy src/HOL/Hyperreal/Lim.thy src/HOL/Hyperreal/SEQ.thy src/HOL/Int.thy src/HOL/IntDiv.thy src/HOL/Lattices.thy src/HOL/Library/Array.thy src/HOL/Library/Char_nat.thy src/HOL/Library/Char_ord.thy src/HOL/Library/Code_Char_chr.thy src/HOL/Library/Code_Index.thy src/HOL/Library/Code_Integer.thy src/HOL/Library/Code_Message.thy src/HOL/Library/Efficient_Nat.thy src/HOL/Library/Enum.thy src/HOL/Library/GCD.thy src/HOL/Library/Heap_Monad.thy src/HOL/Library/List_Prefix.thy src/HOL/Library/List_lexord.thy src/HOL/Library/Multiset.thy src/HOL/Library/Nat_Infinity.thy src/HOL/Library/Nested_Environment.thy src/HOL/Library/Option_ord.thy src/HOL/Library/Primes.thy src/HOL/Library/Product_ord.thy src/HOL/Library/RType.thy src/HOL/Library/Ref.thy src/HOL/Library/Sublist_Order.thy src/HOL/Library/Univ_Poly.thy src/HOL/Library/Word.thy src/HOL/List.thy src/HOL/Map.thy src/HOL/Matrix/Matrix.thy src/HOL/Matrix/SparseMatrix.thy src/HOL/MicroJava/J/TypeRel.thy src/HOL/NSA/HDeriv.thy src/HOL/NSA/HLim.thy src/HOL/NSA/HLog.thy ...

2008-10-10 haftmann [Fri, 10 Oct 2008 06:45:50 +0200] rev 28561
some adaption
doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex

2008-10-10 haftmann [Fri, 10 Oct 2008 06:45:49 +0200] rev 28560
using tikz pictures
doc-src/IsarAdvanced/Codegen/codegen.tex

2008-10-10 haftmann [Fri, 10 Oct 2008 06:45:48 +0200] rev 28559
tuned default rules of (dvd)
NEWS src/HOL/Ring_and_Field.thy

2008-10-09 wenzelm [Thu, 09 Oct 2008 21:34:11 +0200] rev 28558
replaced str_of by general peek;
src/Pure/Concurrent/future.ML

2008-10-09 wenzelm [Thu, 09 Oct 2008 21:34:05 +0200] rev 28557
extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
src/Pure/IsaMakefile src/Pure/ML-Systems/install_pp_polyml.ML src/Pure/ML-Systems/polyml_common.ML src/Pure/pure_setup.ML

2008-10-09 wenzelm [Thu, 09 Oct 2008 21:06:08 +0200] rev 28556
fixed spelling;
src/Pure/Concurrent/par_list_dummy.ML