Mercurialisabelle / changelog
summary | shortlog | changelog | graph | tags | branches | files | gz
(0) -10000 -3000 -1000 -300 -100 -30 -10 +10 +30 +100 +300 +1000 +3000 +10000 tip
2008-01-25 wenzelm [Fri, 25 Jan 2008 22:03:29 +0100] rev 25970
* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here;
NEWS etc/settings

2008-01-25 haftmann [Fri, 25 Jan 2008 14:54:49 +0100] rev 25969
tuned
src/Tools/code/code_package.ML src/Tools/code/code_target.ML src/Tools/code/code_thingol.ML

2008-01-25 haftmann [Fri, 25 Jan 2008 14:54:48 +0100] rev 25968
print postprocessor equations
src/Pure/Isar/code.ML

2008-01-25 haftmann [Fri, 25 Jan 2008 14:54:46 +0100] rev 25967
fixed and tuned
src/HOL/Library/Code_Index.thy src/HOL/Library/Efficient_Nat.thy src/HOL/Tools/numeral.ML

2008-01-25 haftmann [Fri, 25 Jan 2008 14:54:44 +0100] rev 25966
dropped superfluous code theorems
src/HOL/HOL.thy src/HOL/Library/AssocList.thy src/HOL/List.thy

2008-01-25 haftmann [Fri, 25 Jan 2008 14:54:41 +0100] rev 25965
improved code theorem setup
src/HOL/Library/Code_Char.thy src/HOL/Map.thy src/HOL/NatBin.thy src/HOL/Real/Rational.thy src/HOL/Real/RealDef.thy src/HOL/Set.thy

2008-01-25 haftmann [Fri, 25 Jan 2008 14:53:58 +0100] rev 25964
consistent interacitve bootstrap of HOL-Main
src/HOL/Main.thy src/HOL/ROOT.ML

2008-01-25 haftmann [Fri, 25 Jan 2008 14:53:56 +0100] rev 25963
distinguished examples for Efficient_Nat.thy
src/HOL/IsaMakefile src/HOL/ex/Codegenerator_Pretty.thy src/HOL/ex/Efficient_Nat_examples.thy src/HOL/ex/ExecutableContent.thy src/HOL/ex/ROOT.ML

2008-01-25 haftmann [Fri, 25 Jan 2008 14:53:55 +0100] rev 25962
clarified setup of method "normalization"
src/HOL/Code_Setup.thy

2008-01-25 haftmann [Fri, 25 Jan 2008 14:53:52 +0100] rev 25961
moved definition of power on ints to theory Int
NEWS src/HOL/Int.thy src/HOL/IntDiv.thy src/HOL/Library/Word.thy

(0) -10000 -3000 -1000 -300 -100 -30 -10 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle