| 2008-08-27 |
wenzelm |
added General/properties.ML;
|
file |
diff |
annotate
|
| 2008-08-26 |
wenzelm |
purge classes after compilation;
|
file |
diff |
annotate
|
| 2008-08-23 |
wenzelm |
added General/position.scala;
|
file |
diff |
annotate
|
| 2008-08-23 |
wenzelm |
added General/markup.scala;
|
file |
diff |
annotate
|
| 2008-08-23 |
wenzelm |
added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala;
|
file |
diff |
annotate
|
| 2008-08-17 |
wenzelm |
added General/xml.scala, General/yxml.scala;
|
file |
diff |
annotate
|
| 2008-08-16 |
wenzelm |
jar: invoke scaladoc;
|
file |
diff |
annotate
|
| 2008-08-16 |
wenzelm |
jar target: removed jvmpath -- does not work on Linux!?
|
file |
diff |
annotate
|
| 2008-08-16 |
wenzelm |
jar target: jvmpath;
|
file |
diff |
annotate
|
| 2008-08-16 |
wenzelm |
added Tools/isabelle_system.scala;
|
file |
diff |
annotate
|
| 2008-08-15 |
wenzelm |
basic setup for Scala material;
|
file |
diff |
annotate
|
| 2008-08-07 |
wenzelm |
added General/symbol_pos.ML;
|
file |
diff |
annotate
|
| 2008-07-14 |
wenzelm |
removed obsolete Pure/General/history.ML;
|
file |
diff |
annotate
|
| 2008-07-14 |
wenzelm |
removed Isar/proof_history.ML;
|
file |
diff |
annotate
|
| 2008-06-28 |
wenzelm |
added ML/ml_thms.ML;
|
file |
diff |
annotate
|
| 2008-06-24 |
wenzelm |
added ML/ml_antiquote.ML;
|
file |
diff |
annotate
|
| 2008-06-14 |
wenzelm |
removed experimental Poplog/PML support;
|
file |
diff |
annotate
|
| 2008-05-18 |
wenzelm |
eliminated theory CPure;
|
file |
diff |
annotate
|
| 2008-04-12 |
wenzelm |
removed obsolete compress.ML
|
file |
diff |
annotate
|
| 2008-04-10 |
wenzelm |
added Isar/isar.ML;
|
file |
diff |
annotate
|
| 2008-04-03 |
wenzelm |
added Pure/General/yxml.ML;
|
file |
diff |
annotate
|
| 2008-03-26 |
wenzelm |
removed obsolete Thy/thm_database.ML (cf. ML/ml_context.ML);
|
file |
diff |
annotate
|
| 2008-03-24 |
wenzelm |
removed junk;
|
file |
diff |
annotate
|
| 2008-03-24 |
wenzelm |
added ML-Systems/polyml-5.1.ML, ML-Systems/polyml_old_compiler4.ML, ML-Systems/polyml_old_compiler5.ML;
|
file |
diff |
annotate
|
| 2008-03-15 |
wenzelm |
removed obsolete fact_index.ML;
|
file |
diff |
annotate
|
| 2008-03-07 |
haftmann |
added hithero missing overloading.ML
|
file |
diff |
annotate
|
| 2008-03-06 |
wenzelm |
proper dependency on ML-Systems/mosml.ML;
|
file |
diff |
annotate
|
| 2008-03-06 |
wenzelm |
added ML-Systems/system_shell.ML;
|
file |
diff |
annotate
|
| 2008-03-06 |
wenzelm |
cleaned-up ML-Systems;
|
file |
diff |
annotate
|
| 2008-02-19 |
wenzelm |
removed General/system_process.ML (back to multithreaded version);
|
file |
diff |
annotate
|
| 2008-02-16 |
wenzelm |
added General/system_process.ML;
|
file |
diff |
annotate
|
| 2008-01-24 |
wenzelm |
removed obsolete context_position.ML (superseded by Position.thread_data);
|
file |
diff |
annotate
|
| 2007-12-20 |
wenzelm |
added ML-Systems/universal.ML;
|
file |
diff |
annotate
|
| 2007-12-20 |
wenzelm |
moved Pure/General/random_word.ML to Tools/random_word.ML;
|
file |
diff |
annotate
|
| 2007-12-19 |
wenzelm |
added General/random_word.ML;
|
file |
diff |
annotate
|
| 2007-12-04 |
wenzelm |
added Tools/isabelle_process.ML;
|
file |
diff |
annotate
|
| 2007-11-28 |
wenzelm |
removed typedecl.ML (cf. object_logic.ML);
|
file |
diff |
annotate
|
| 2007-11-23 |
haftmann |
separated typedecl module, providing typedecl command with interpretation
|
file |
diff |
annotate
|
| 2007-11-04 |
wenzelm |
removed obsolete ProofGeneral/parsing.ML;
|
file |
diff |
annotate
|
| 2007-11-04 |
wenzelm |
added ProofGeneral/pgml_isabelle.ML;
|
file |
diff |
annotate
|
| 2007-10-08 |
haftmann |
added proper subclass concept; improved class target
|
file |
diff |
annotate
|
| 2007-10-06 |
wenzelm |
added Pure-ProofGeneral target (dummy session with outer syntax keyword initialization);
|
file |
diff |
annotate
|
| 2007-10-04 |
wenzelm |
moved Pure/Isar/induct_attrib.ML and Provers/induct_method.ML to Tools/induct.ML;
|
file |
diff |
annotate
|
| 2007-09-24 |
wenzelm |
renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML;
|
file |
diff |
annotate
|
| 2007-09-20 |
wenzelm |
added interpretation.ML;
|
file |
diff |
annotate
|
| 2007-09-18 |
wenzelm |
moved Tools/integer.ML to Pure/General/integer.ML;
|
file |
diff |
annotate
|
| 2007-09-16 |
wenzelm |
added ML/ml_parse.ML;
|
file |
diff |
annotate
|
| 2007-09-15 |
haftmann |
added rudimentary instantiation stub
|
file |
diff |
annotate
|
| 2007-09-15 |
wenzelm |
added ML/ml_lex.ML;
|
file |
diff |
annotate
|
| 2007-09-14 |
wenzelm |
moved ML_XXX.ML files to Pure/ML;
|
file |
diff |
annotate
|
| 2007-08-28 |
berghofe |
codegen.ML is now loaded in Pure again.
|
file |
diff |
annotate
|
| 2007-08-15 |
haftmann |
updated code generator setup
|
file |
diff |
annotate
|
| 2007-08-14 |
wenzelm |
moved Tools/xml.ML to General/xml.ML (again);
|
file |
diff |
annotate
|
| 2007-08-12 |
wenzelm |
added Syntax/simple_syntax.ML;
|
file |
diff |
annotate
|
| 2007-08-10 |
haftmann |
new structure for code generator modules
|
file |
diff |
annotate
|
| 2007-08-07 |
haftmann |
new nbe implementation
|
file |
diff |
annotate
|
| 2007-08-06 |
wenzelm |
ML-Systems/overloading_smlnj.ML;
|
file |
diff |
annotate
|
| 2007-08-03 |
wenzelm |
moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML;
|
file |
diff |
annotate
|
| 2007-08-01 |
wenzelm |
renamed config_option.ML to config.ML;
|
file |
diff |
annotate
|
| 2007-07-29 |
wenzelm |
removed obsolete install_pp.ML (cf. pure_setup.ML);
|
file |
diff |
annotate
|