src/Pure/IsaMakefile
2008-09-16 haftmann 2008-09-16 generic value command
2008-09-11 wenzelm 2008-09-11 added Concurrent/par_list.ML;
2008-09-08 wenzelm 2008-09-08 added Concurrent/task_queue.ML;
2008-09-07 wenzelm 2008-09-07 added Concurrent/future.ML;
2008-09-07 wenzelm 2008-09-07 added ML-Systems/thread_dummy.ML;
2008-09-04 wenzelm 2008-09-04 fixed deps: no Concurrent/receiver.ML yet;
2008-09-04 wenzelm 2008-09-04 added Concurrent/mailbox.ML;
2008-09-04 wenzelm 2008-09-04 added General/queue.ML;
2008-09-04 wenzelm 2008-09-04 added Concurrent/schedule.ML;
2008-08-28 wenzelm 2008-08-28 removed obsolete ProofGeneral/pgml_isabelle.ML;
2008-08-27 wenzelm 2008-08-27 added General/properties.ML;
2008-08-26 wenzelm 2008-08-26 purge classes after compilation;
2008-08-23 wenzelm 2008-08-23 added General/position.scala;
2008-08-23 wenzelm 2008-08-23 added General/markup.scala;
2008-08-23 wenzelm 2008-08-23 added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala; scalac -deprecation;
2008-08-17 wenzelm 2008-08-17 added General/xml.scala, General/yxml.scala;
2008-08-16 wenzelm 2008-08-16 jar: invoke scaladoc;
2008-08-16 wenzelm 2008-08-16 jar target: removed jvmpath -- does not work on Linux!?
2008-08-16 wenzelm 2008-08-16 jar target: jvmpath;
2008-08-16 wenzelm 2008-08-16 added Tools/isabelle_system.scala;
2008-08-15 wenzelm 2008-08-15 basic setup for Scala material; added General/symbol.scala;
2008-08-07 wenzelm 2008-08-07 added General/symbol_pos.ML;
2008-07-14 wenzelm 2008-07-14 removed obsolete Pure/General/history.ML;
2008-07-14 wenzelm 2008-07-14 removed Isar/proof_history.ML; added Isar/proof_node.ML
2008-06-28 wenzelm 2008-06-28 added ML/ml_thms.ML;
2008-06-24 wenzelm 2008-06-24 added ML/ml_antiquote.ML;
2008-06-14 wenzelm 2008-06-14 removed experimental Poplog/PML support; removed obsolete ML_SUFFIX; some reformatting;
2008-05-18 wenzelm 2008-05-18 eliminated theory CPure;
2008-04-12 wenzelm 2008-04-12 removed obsolete compress.ML
2008-04-10 wenzelm 2008-04-10 added Isar/isar.ML;
2008-04-03 wenzelm 2008-04-03 added Pure/General/yxml.ML;
2008-03-26 wenzelm 2008-03-26 removed obsolete Thy/thm_database.ML (cf. ML/ml_context.ML);
2008-03-24 wenzelm 2008-03-24 removed junk;
2008-03-24 wenzelm 2008-03-24 added ML-Systems/polyml-5.1.ML, ML-Systems/polyml_old_compiler4.ML, ML-Systems/polyml_old_compiler5.ML;
2008-03-15 wenzelm 2008-03-15 removed obsolete fact_index.ML; added facts.ML;
2008-03-07 haftmann 2008-03-07 added hithero missing overloading.ML
2008-03-06 wenzelm 2008-03-06 proper dependency on ML-Systems/mosml.ML;
2008-03-06 wenzelm 2008-03-06 added ML-Systems/system_shell.ML;
2008-03-06 wenzelm 2008-03-06 cleaned-up ML-Systems;
2008-02-19 wenzelm 2008-02-19 removed General/system_process.ML (back to multithreaded version);
2008-02-16 wenzelm 2008-02-16 added General/system_process.ML;
2008-01-24 wenzelm 2008-01-24 removed obsolete context_position.ML (superseded by Position.thread_data);
2007-12-20 wenzelm 2007-12-20 added ML-Systems/universal.ML;
2007-12-20 wenzelm 2007-12-20 moved Pure/General/random_word.ML to Tools/random_word.ML;
2007-12-19 wenzelm 2007-12-19 added General/random_word.ML;
2007-12-04 wenzelm 2007-12-04 added Tools/isabelle_process.ML;
2007-11-28 wenzelm 2007-11-28 removed typedecl.ML (cf. object_logic.ML);
2007-11-23 haftmann 2007-11-23 separated typedecl module, providing typedecl command with interpretation
2007-11-04 wenzelm 2007-11-04 removed obsolete ProofGeneral/parsing.ML;
2007-11-04 wenzelm 2007-11-04 added ProofGeneral/pgml_isabelle.ML;
2007-10-08 haftmann 2007-10-08 added proper subclass concept; improved class target
2007-10-06 wenzelm 2007-10-06 added Pure-ProofGeneral target (dummy session with outer syntax keyword initialization);
2007-10-04 wenzelm 2007-10-04 moved Pure/Isar/induct_attrib.ML and Provers/induct_method.ML to Tools/induct.ML;
2007-09-24 wenzelm 2007-09-24 renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML; replaced interrupt_timeout by TimeLimit.timeLimit (available on SML/NJ and Poly/ML 5.1);
2007-09-20 wenzelm 2007-09-20 added interpretation.ML;
2007-09-18 wenzelm 2007-09-18 moved Tools/integer.ML to Pure/General/integer.ML;
2007-09-16 wenzelm 2007-09-16 added ML/ml_parse.ML;
2007-09-15 haftmann 2007-09-15 added rudimentary instantiation stub
2007-09-15 wenzelm 2007-09-15 added ML/ml_lex.ML;
2007-09-14 wenzelm 2007-09-14 moved ML_XXX.ML files to Pure/ML;