Tue, 16 Sep 2008 09:21:22 +0200 |
haftmann |
generic value command
|
file |
diff |
annotate
|
Thu, 11 Sep 2008 13:23:57 +0200 |
wenzelm |
added Concurrent/par_list.ML;
|
file |
diff |
annotate
|
Mon, 08 Sep 2008 16:08:13 +0200 |
wenzelm |
added Concurrent/task_queue.ML;
|
file |
diff |
annotate
|
Sun, 07 Sep 2008 22:19:31 +0200 |
wenzelm |
added Concurrent/future.ML;
|
file |
diff |
annotate
|
Sun, 07 Sep 2008 17:46:37 +0200 |
wenzelm |
added ML-Systems/thread_dummy.ML;
|
file |
diff |
annotate
|
Thu, 04 Sep 2008 19:47:13 +0200 |
wenzelm |
fixed deps: no Concurrent/receiver.ML yet;
|
file |
diff |
annotate
|
Thu, 04 Sep 2008 19:45:12 +0200 |
wenzelm |
added Concurrent/mailbox.ML;
|
file |
diff |
annotate
|
Thu, 04 Sep 2008 16:43:50 +0200 |
wenzelm |
added General/queue.ML;
|
file |
diff |
annotate
|
Thu, 04 Sep 2008 16:03:41 +0200 |
wenzelm |
added Concurrent/schedule.ML;
|
file |
diff |
annotate
|
Thu, 28 Aug 2008 00:33:04 +0200 |
wenzelm |
removed obsolete ProofGeneral/pgml_isabelle.ML;
|
file |
diff |
annotate
|
Wed, 27 Aug 2008 11:49:14 +0200 |
wenzelm |
added General/properties.ML;
|
file |
diff |
annotate
|
Tue, 26 Aug 2008 12:20:52 +0200 |
wenzelm |
purge classes after compilation;
|
file |
diff |
annotate
|
Sat, 23 Aug 2008 23:07:34 +0200 |
wenzelm |
added General/position.scala;
|
file |
diff |
annotate
|
Sat, 23 Aug 2008 19:42:11 +0200 |
wenzelm |
added General/markup.scala;
|
file |
diff |
annotate
|
Sat, 23 Aug 2008 17:22:51 +0200 |
wenzelm |
added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala;
|
file |
diff |
annotate
|
Sun, 17 Aug 2008 21:11:04 +0200 |
wenzelm |
added General/xml.scala, General/yxml.scala;
|
file |
diff |
annotate
|
Sat, 16 Aug 2008 23:28:38 +0200 |
wenzelm |
jar: invoke scaladoc;
|
file |
diff |
annotate
|
Sat, 16 Aug 2008 21:23:01 +0200 |
wenzelm |
jar target: removed jvmpath -- does not work on Linux!?
|
file |
diff |
annotate
|
Sat, 16 Aug 2008 16:43:03 +0200 |
wenzelm |
jar target: jvmpath;
|
file |
diff |
annotate
|
Sat, 16 Aug 2008 15:57:05 +0200 |
wenzelm |
added Tools/isabelle_system.scala;
|
file |
diff |
annotate
|
Fri, 15 Aug 2008 21:56:07 +0200 |
wenzelm |
basic setup for Scala material;
|
file |
diff |
annotate
|
Thu, 07 Aug 2008 13:44:33 +0200 |
wenzelm |
added General/symbol_pos.ML;
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 19:57:14 +0200 |
wenzelm |
removed obsolete Pure/General/history.ML;
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 11:19:36 +0200 |
wenzelm |
removed Isar/proof_history.ML;
|
file |
diff |
annotate
|
Sat, 28 Jun 2008 22:52:03 +0200 |
wenzelm |
added ML/ml_thms.ML;
|
file |
diff |
annotate
|
Tue, 24 Jun 2008 19:43:15 +0200 |
wenzelm |
added ML/ml_antiquote.ML;
|
file |
diff |
annotate
|
Sat, 14 Jun 2008 17:26:12 +0200 |
wenzelm |
removed experimental Poplog/PML support;
|
file |
diff |
annotate
|
Sun, 18 May 2008 17:03:20 +0200 |
wenzelm |
eliminated theory CPure;
|
file |
diff |
annotate
|
Sat, 12 Apr 2008 17:00:42 +0200 |
wenzelm |
removed obsolete compress.ML
|
file |
diff |
annotate
|
Thu, 10 Apr 2008 13:24:11 +0200 |
wenzelm |
added Isar/isar.ML;
|
file |
diff |
annotate
|
Thu, 03 Apr 2008 16:03:54 +0200 |
wenzelm |
added Pure/General/yxml.ML;
|
file |
diff |
annotate
|
Wed, 26 Mar 2008 22:41:58 +0100 |
wenzelm |
removed obsolete Thy/thm_database.ML (cf. ML/ml_context.ML);
|
file |
diff |
annotate
|
Mon, 24 Mar 2008 18:44:21 +0100 |
wenzelm |
removed junk;
|
file |
diff |
annotate
|
Mon, 24 Mar 2008 18:35:40 +0100 |
wenzelm |
added ML-Systems/polyml-5.1.ML, ML-Systems/polyml_old_compiler4.ML, ML-Systems/polyml_old_compiler5.ML;
|
file |
diff |
annotate
|
Sat, 15 Mar 2008 18:08:00 +0100 |
wenzelm |
removed obsolete fact_index.ML;
|
file |
diff |
annotate
|
Fri, 07 Mar 2008 13:53:06 +0100 |
haftmann |
added hithero missing overloading.ML
|
file |
diff |
annotate
|
Thu, 06 Mar 2008 20:46:41 +0100 |
wenzelm |
proper dependency on ML-Systems/mosml.ML;
|
file |
diff |
annotate
|
Thu, 06 Mar 2008 20:17:49 +0100 |
wenzelm |
added ML-Systems/system_shell.ML;
|
file |
diff |
annotate
|
Thu, 06 Mar 2008 19:21:25 +0100 |
wenzelm |
cleaned-up ML-Systems;
|
file |
diff |
annotate
|
Tue, 19 Feb 2008 20:34:29 +0100 |
wenzelm |
removed General/system_process.ML (back to multithreaded version);
|
file |
diff |
annotate
|
Sat, 16 Feb 2008 16:43:53 +0100 |
wenzelm |
added General/system_process.ML;
|
file |
diff |
annotate
|
Thu, 24 Jan 2008 23:51:11 +0100 |
wenzelm |
removed obsolete context_position.ML (superseded by Position.thread_data);
|
file |
diff |
annotate
|
Thu, 20 Dec 2007 21:11:58 +0100 |
wenzelm |
added ML-Systems/universal.ML;
|
file |
diff |
annotate
|
Thu, 20 Dec 2007 14:33:40 +0100 |
wenzelm |
moved Pure/General/random_word.ML to Tools/random_word.ML;
|
file |
diff |
annotate
|
Wed, 19 Dec 2007 23:06:14 +0100 |
wenzelm |
added General/random_word.ML;
|
file |
diff |
annotate
|
Tue, 04 Dec 2007 22:49:26 +0100 |
wenzelm |
added Tools/isabelle_process.ML;
|
file |
diff |
annotate
|
Wed, 28 Nov 2007 16:44:22 +0100 |
wenzelm |
removed typedecl.ML (cf. object_logic.ML);
|
file |
diff |
annotate
|
Fri, 23 Nov 2007 21:09:30 +0100 |
haftmann |
separated typedecl module, providing typedecl command with interpretation
|
file |
diff |
annotate
|
Sun, 04 Nov 2007 17:12:14 +0100 |
wenzelm |
removed obsolete ProofGeneral/parsing.ML;
|
file |
diff |
annotate
|
Sun, 04 Nov 2007 16:43:28 +0100 |
wenzelm |
added ProofGeneral/pgml_isabelle.ML;
|
file |
diff |
annotate
|
Mon, 08 Oct 2007 22:03:21 +0200 |
haftmann |
added proper subclass concept; improved class target
|
file |
diff |
annotate
|
Sat, 06 Oct 2007 22:07:18 +0200 |
wenzelm |
added Pure-ProofGeneral target (dummy session with outer syntax keyword initialization);
|
file |
diff |
annotate
|
Thu, 04 Oct 2007 14:42:47 +0200 |
wenzelm |
moved Pure/Isar/induct_attrib.ML and Provers/induct_method.ML to Tools/induct.ML;
|
file |
diff |
annotate
|
Mon, 24 Sep 2007 13:52:51 +0200 |
wenzelm |
renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML;
|
file |
diff |
annotate
|
Thu, 20 Sep 2007 20:56:32 +0200 |
wenzelm |
added interpretation.ML;
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 18:05:34 +0200 |
wenzelm |
moved Tools/integer.ML to Pure/General/integer.ML;
|
file |
diff |
annotate
|
Sun, 16 Sep 2007 14:59:10 +0200 |
wenzelm |
added ML/ml_parse.ML;
|
file |
diff |
annotate
|
Sat, 15 Sep 2007 19:29:29 +0200 |
haftmann |
added rudimentary instantiation stub
|
file |
diff |
annotate
|
Sat, 15 Sep 2007 19:25:32 +0200 |
wenzelm |
added ML/ml_lex.ML;
|
file |
diff |
annotate
|
Fri, 14 Sep 2007 17:02:34 +0200 |
wenzelm |
moved ML_XXX.ML files to Pure/ML;
|
file |
diff |
annotate
|
Tue, 28 Aug 2007 18:07:25 +0200 |
berghofe |
codegen.ML is now loaded in Pure again.
|
file |
diff |
annotate
|
Wed, 15 Aug 2007 08:57:39 +0200 |
haftmann |
updated code generator setup
|
file |
diff |
annotate
|
Tue, 14 Aug 2007 13:20:14 +0200 |
wenzelm |
moved Tools/xml.ML to General/xml.ML (again);
|
file |
diff |
annotate
|
Mon, 13 Aug 2007 00:17:54 +0200 |
wenzelm |
added Syntax/simple_syntax.ML;
|
file |
diff |
annotate
|
Fri, 10 Aug 2007 17:04:34 +0200 |
haftmann |
new structure for code generator modules
|
file |
diff |
annotate
|
Tue, 07 Aug 2007 09:40:34 +0200 |
haftmann |
new nbe implementation
|
file |
diff |
annotate
|
Mon, 06 Aug 2007 19:58:59 +0200 |
wenzelm |
ML-Systems/overloading_smlnj.ML;
|
file |
diff |
annotate
|
Fri, 03 Aug 2007 16:28:19 +0200 |
wenzelm |
moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML;
|
file |
diff |
annotate
|
Wed, 01 Aug 2007 16:55:41 +0200 |
wenzelm |
renamed config_option.ML to config.ML;
|
file |
diff |
annotate
|
Sun, 29 Jul 2007 16:00:00 +0200 |
wenzelm |
removed obsolete install_pp.ML (cf. pure_setup.ML);
|
file |
diff |
annotate
|
Sun, 29 Jul 2007 14:30:02 +0200 |
wenzelm |
added Tools/named_thms.ML;
|
file |
diff |
annotate
|
Fri, 27 Jul 2007 21:55:17 +0200 |
wenzelm |
renamed config.ML to config_option.ML;
|
file |
diff |
annotate
|
Wed, 25 Jul 2007 22:20:48 +0200 |
wenzelm |
added config.ML;
|
file |
diff |
annotate
|
Tue, 24 Jul 2007 19:44:30 +0200 |
wenzelm |
renamed ML-Systems/no_multithreading.ML to ML-Systems/multithreading_dummy.ML;
|
file |
diff |
annotate
|
Mon, 23 Jul 2007 22:18:01 +0200 |
wenzelm |
RAW: updated deps;
|
file |
diff |
annotate
|
Mon, 23 Jul 2007 20:47:55 +0200 |
wenzelm |
added compatibility wrapper for polyml-5.1;
|
file |
diff |
annotate
|
Mon, 23 Jul 2007 14:06:11 +0200 |
wenzelm |
added compatibility file for ML systems without multithreading;
|
file |
diff |
annotate
|
Tue, 17 Jul 2007 13:19:18 +0200 |
wenzelm |
added General/print_mode.ML, pure_setup.ML;
|
file |
diff |
annotate
|
Thu, 12 Jul 2007 00:15:26 +0200 |
wenzelm |
added ProofGeneral/pgip_parser.ML;
|
file |
diff |
annotate
|
Tue, 10 Jul 2007 23:29:38 +0200 |
wenzelm |
added Thy/thy_edit.ML;
|
file |
diff |
annotate
|
Mon, 09 Jul 2007 23:12:29 +0200 |
wenzelm |
removed target RAW-ProofGeneral (impractical to maintain);
|
file |
diff |
annotate
|
Sat, 07 Jul 2007 00:14:52 +0200 |
wenzelm |
added General/markup.ML;
|
file |
diff |
annotate
|
Tue, 19 Jun 2007 23:15:43 +0200 |
wenzelm |
added General/balanced_tree.ML;
|
file |
diff |
annotate
|
Wed, 13 Jun 2007 00:01:56 +0200 |
wenzelm |
added context_position.ML;
|
file |
diff |
annotate
|
Thu, 31 May 2007 20:55:33 +0200 |
wenzelm |
moved Compute_Oracle from Pure/Tools to Tools;
|
file |
diff |
annotate
|
Thu, 31 May 2007 01:25:35 +0200 |
wenzelm |
reversed SML B library patches;
|
file |
diff |
annotate
|
Sun, 13 May 2007 18:15:28 +0200 |
haftmann |
removed module rat.ML
|
file |
diff |
annotate
|
Thu, 10 May 2007 00:39:50 +0200 |
wenzelm |
added conv.ML;
|
file |
diff |
annotate
|
Sat, 14 Apr 2007 17:36:06 +0200 |
wenzelm |
removed Pure/Syntax/ROOT.ML;
|
file |
diff |
annotate
|
Tue, 03 Apr 2007 19:24:15 +0200 |
wenzelm |
added ML-Systems/alice.ML;
|
file |
diff |
annotate
|
Mon, 26 Feb 2007 23:18:26 +0100 |
wenzelm |
added more_thm.ML;
|
file |
diff |
annotate
|
Fri, 19 Jan 2007 22:08:11 +0100 |
wenzelm |
renamed Isar/isar_output.ML to Thy/thy_output.ML;
|
file |
diff |
annotate
|
Fri, 05 Jan 2007 14:32:07 +0100 |
haftmann |
added codegen_func.ML
|
file |
diff |
annotate
|
Fri, 05 Jan 2007 14:30:07 +0100 |
wenzelm |
RAW-ProofGeneral: more dependencies;
|
file |
diff |
annotate
|
Thu, 04 Jan 2007 17:49:41 +0100 |
wenzelm |
removed obsolete Pure-copied target;
|
file |
diff |
annotate
|
Sat, 30 Dec 2006 12:41:59 +0100 |
wenzelm |
removed obsolete support for polyml-4.9.1;
|
file |
diff |
annotate
|
Fri, 29 Dec 2006 18:46:01 +0100 |
wenzelm |
removed obsolete proof_general.ML;
|
file |
diff |
annotate
|
Sun, 10 Dec 2006 15:30:37 +0100 |
wenzelm |
removed Isar/term_syntax.ML;
|
file |
diff |
annotate
|
Thu, 07 Dec 2006 17:58:41 +0100 |
wenzelm |
added Isar/term_syntax.ML;
|
file |
diff |
annotate
|
Tue, 05 Dec 2006 22:14:44 +0100 |
wenzelm |
added ML-Systems/polyml-5.0.ML;
|
file |
diff |
annotate
|
Tue, 05 Dec 2006 13:57:24 +0100 |
aspinall |
Add dependency for new Emacs PG code
|
file |
diff |
annotate
|
Mon, 04 Dec 2006 21:41:47 +0100 |
aspinall |
Build instructions for new Proof General module [not yet activated]
|
file |
diff |
annotate
|
Thu, 23 Nov 2006 00:51:54 +0100 |
wenzelm |
added morphism.ML, General/ml_syntax.ML;
|
file |
diff |
annotate
|
Thu, 16 Nov 2006 01:07:25 +0100 |
wenzelm |
moved some fundamental concepts to General/basics.ML;
|
file |
diff |
annotate
|
Tue, 14 Nov 2006 00:15:43 +0100 |
wenzelm |
removed Isar/isar_thy.ML;
|
file |
diff |
annotate
|
Fri, 10 Nov 2006 23:22:04 +0100 |
wenzelm |
removed obsolete ML compatibility fragments;
|
file |
diff |
annotate
|
Fri, 03 Nov 2006 14:22:43 +0100 |
haftmann |
dropped name_mangler.ML
|
file |
diff |
annotate
|
Tue, 10 Oct 2006 09:18:09 +0200 |
haftmann |
removed experimental codegen_simtype
|
file |
diff |
annotate
|
Mon, 09 Oct 2006 19:37:03 +0200 |
wenzelm |
added General/secure.ML;
|
file |
diff |
annotate
|
Sat, 07 Oct 2006 01:31:08 +0200 |
wenzelm |
added Isar/theory_target.ML;
|
file |
diff |
annotate
|
Wed, 27 Sep 2006 23:41:11 +0200 |
wenzelm |
added ML-Systems/polyml-4.9.1.ML;
|
file |
diff |
annotate
|
Thu, 21 Sep 2006 15:40:31 +0200 |
berghofe |
Added Tools/xml_syntax.ML
|
file |
diff |
annotate
|
Tue, 19 Sep 2006 23:15:35 +0200 |
wenzelm |
added General/susp.ML;
|
file |
diff |
annotate
|
Tue, 19 Sep 2006 15:22:05 +0200 |
haftmann |
code generation 2 adjustments
|
file |
diff |
annotate
|
Tue, 12 Sep 2006 12:12:33 +0200 |
wenzelm |
added Pure/term_subst.ML;
|
file |
diff |
annotate
|
Mon, 14 Aug 2006 13:46:19 +0200 |
haftmann |
added code generator packages
|
file |
diff |
annotate
|
Thu, 03 Aug 2006 17:30:41 +0200 |
wenzelm |
added Isar/rule_insts.ML;
|
file |
diff |
annotate
|
Thu, 27 Jul 2006 13:43:03 +0200 |
wenzelm |
added Pure/assumption.ML;
|
file |
diff |
annotate
|
Wed, 26 Jul 2006 00:44:44 +0200 |
wenzelm |
added Pure/subgoal.ML;
|
file |
diff |
annotate
|
Tue, 11 Jul 2006 12:17:00 +0200 |
wenzelm |
added name.ML;
|
file |
diff |
annotate
|