src/Pure/IsaMakefile
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-11-14 ballarin 2008-11-14 Initial part of locale reimplementation.
2008-10-27 ballarin 2008-10-27 New-style locale expressions with instantiation (new file expression.ML).
2008-10-23 wenzelm 2008-10-23 renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
2008-10-16 wenzelm 2008-10-16 added dep for Concurrent/ROOT.ML;
2008-10-13 wenzelm 2008-10-13 added Concurrent/synchronized.ML;
2008-10-09 wenzelm 2008-10-09 extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
2008-10-09 wenzelm 2008-10-09 added Concurrent/par_list_dummy.ML;
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2008-10-04 wenzelm 2008-10-04 added Thy/thy_header.scala;
2008-09-29 wenzelm 2008-09-29 added context_position.ML;
2008-09-22 wenzelm 2008-09-22 removed deriv.ML which is now incorporated into thm.ML;
2008-09-19 wenzelm 2008-09-19 added Isar/isar.scala;
2008-09-18 wenzelm 2008-09-18 jar: include sources;
2008-09-18 wenzelm 2008-09-18 added deriv.ML: Abstract derivations based on raw proof terms.
2008-09-17 wenzelm 2008-09-17 added ML-Systems/ml_name_space.ML;
2008-09-16 haftmann 2008-09-16 added quickcheck stub
2008-09-16 wenzelm 2008-09-16 added Concurrent/simple_thread.ML;
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);