src/Pure/Tools/ROOT.ML
2008-09-16 haftmann 2008-09-16 generic value command
2007-12-04 wenzelm 2007-12-04 added Tools/isabelle_process.ML;
2007-08-15 haftmann 2007-08-15 updated code generator setup
2007-08-14 wenzelm 2007-08-14 moved Tools/xml.ML to General/xml.ML (again);
2007-08-10 haftmann 2007-08-10 new structure for code generator modules
2007-08-07 haftmann 2007-08-07 new nbe implementation
2007-07-29 wenzelm 2007-07-29 added Tools/named_thms.ML;
2007-07-07 wenzelm 2007-07-07 moved General/xml.ML to Tools/xml.ML;
2007-05-31 wenzelm 2007-05-31 moved Compute_Oracle from Pure/Tools to Tools;
2007-04-20 haftmann 2007-04-20 Isar definitions are now added explicitly to code theorem table
2007-02-10 haftmann 2007-02-10 added class package to Isar bootstrap
2007-01-30 haftmann 2007-01-30 shifted import order
2007-01-05 haftmann 2007-01-05 added codegen_func.ML
2006-10-10 haftmann 2006-10-10 removed experimental codegen_simtype
2006-09-25 haftmann 2006-09-25 changed order
2006-09-21 berghofe 2006-09-21 Added xml_syntax.ML
2006-09-19 haftmann 2006-09-19 added codegen_data
2006-08-14 haftmann 2006-08-14 added code generator packages
2006-08-08 haftmann 2006-08-08 code generator refinements
2006-07-21 haftmann 2006-07-21 class package and codegen refinements
2006-07-12 haftmann 2006-07-12 adaptions in codegen
2006-06-14 haftmann 2006-06-14 improvements in code generator
2006-06-07 wenzelm 2006-06-07 added invoke.ML;
2006-04-06 haftmann 2006-04-06 added definitional code generator module: codegen_theorems.ML
2006-03-17 haftmann 2006-03-17 slight improvement in serializer, stub for code generator theorems added
2006-02-27 nipkow 2006-02-27 added nbe, updated neb_*
2006-02-21 nipkow 2006-02-21 added Tools/nbe, fixes
2005-11-14 haftmann 2005-11-14 added modules for code generator generation two, not operational yet
2005-07-14 wenzelm 2005-07-14 tuned;
2005-07-12 obua 2005-07-12 - introduce Pure/Tools directory - add compute oracle to Pure/Tools