src/Pure/IsaMakefile
Thu, 18 Sep 2008 22:30:17 +0200 wenzelm jar: include sources;
Thu, 18 Sep 2008 14:06:56 +0200 wenzelm added deriv.ML: Abstract derivations based on raw proof terms.
Wed, 17 Sep 2008 21:27:20 +0200 wenzelm added ML-Systems/ml_name_space.ML;
Tue, 16 Sep 2008 16:13:31 +0200 haftmann added quickcheck stub
Tue, 16 Sep 2008 15:37:30 +0200 wenzelm added Concurrent/simple_thread.ML;
Tue, 16 Sep 2008 09:21:22 +0200 haftmann generic value command
Thu, 11 Sep 2008 13:23:57 +0200 wenzelm added Concurrent/par_list.ML;
Mon, 08 Sep 2008 16:08:13 +0200 wenzelm added Concurrent/task_queue.ML;
Sun, 07 Sep 2008 22:19:31 +0200 wenzelm added Concurrent/future.ML;
Sun, 07 Sep 2008 17:46:37 +0200 wenzelm added ML-Systems/thread_dummy.ML;
Thu, 04 Sep 2008 19:47:13 +0200 wenzelm fixed deps: no Concurrent/receiver.ML yet;
Thu, 04 Sep 2008 19:45:12 +0200 wenzelm added Concurrent/mailbox.ML;
Thu, 04 Sep 2008 16:43:50 +0200 wenzelm added General/queue.ML;
Thu, 04 Sep 2008 16:03:41 +0200 wenzelm added Concurrent/schedule.ML;
Thu, 28 Aug 2008 00:33:04 +0200 wenzelm removed obsolete ProofGeneral/pgml_isabelle.ML;
Wed, 27 Aug 2008 11:49:14 +0200 wenzelm added General/properties.ML;
Tue, 26 Aug 2008 12:20:52 +0200 wenzelm purge classes after compilation;
Sat, 23 Aug 2008 23:07:34 +0200 wenzelm added General/position.scala;
Sat, 23 Aug 2008 19:42:11 +0200 wenzelm added General/markup.scala;
Sat, 23 Aug 2008 17:22:51 +0200 wenzelm added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala;
Sun, 17 Aug 2008 21:11:04 +0200 wenzelm added General/xml.scala, General/yxml.scala;
Sat, 16 Aug 2008 23:28:38 +0200 wenzelm jar: invoke scaladoc;
Sat, 16 Aug 2008 21:23:01 +0200 wenzelm jar target: removed jvmpath -- does not work on Linux!?
Sat, 16 Aug 2008 16:43:03 +0200 wenzelm jar target: jvmpath;
Sat, 16 Aug 2008 15:57:05 +0200 wenzelm added Tools/isabelle_system.scala;
Fri, 15 Aug 2008 21:56:07 +0200 wenzelm basic setup for Scala material;
Thu, 07 Aug 2008 13:44:33 +0200 wenzelm added General/symbol_pos.ML;
Mon, 14 Jul 2008 19:57:14 +0200 wenzelm removed obsolete Pure/General/history.ML;
Mon, 14 Jul 2008 11:19:36 +0200 wenzelm removed Isar/proof_history.ML;
Sat, 28 Jun 2008 22:52:03 +0200 wenzelm added ML/ml_thms.ML;
Tue, 24 Jun 2008 19:43:15 +0200 wenzelm added ML/ml_antiquote.ML;
Sat, 14 Jun 2008 17:26:12 +0200 wenzelm removed experimental Poplog/PML support;
Sun, 18 May 2008 17:03:20 +0200 wenzelm eliminated theory CPure;
Sat, 12 Apr 2008 17:00:42 +0200 wenzelm removed obsolete compress.ML
Thu, 10 Apr 2008 13:24:11 +0200 wenzelm added Isar/isar.ML;
Thu, 03 Apr 2008 16:03:54 +0200 wenzelm added Pure/General/yxml.ML;
Wed, 26 Mar 2008 22:41:58 +0100 wenzelm removed obsolete Thy/thm_database.ML (cf. ML/ml_context.ML);
Mon, 24 Mar 2008 18:44:21 +0100 wenzelm removed junk;
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;
Sat, 15 Mar 2008 18:08:00 +0100 wenzelm removed obsolete fact_index.ML;
Fri, 07 Mar 2008 13:53:06 +0100 haftmann added hithero missing overloading.ML
Thu, 06 Mar 2008 20:46:41 +0100 wenzelm proper dependency on ML-Systems/mosml.ML;
Thu, 06 Mar 2008 20:17:49 +0100 wenzelm added ML-Systems/system_shell.ML;
Thu, 06 Mar 2008 19:21:25 +0100 wenzelm cleaned-up ML-Systems;
Tue, 19 Feb 2008 20:34:29 +0100 wenzelm removed General/system_process.ML (back to multithreaded version);
Sat, 16 Feb 2008 16:43:53 +0100 wenzelm added General/system_process.ML;
Thu, 24 Jan 2008 23:51:11 +0100 wenzelm removed obsolete context_position.ML (superseded by Position.thread_data);
Thu, 20 Dec 2007 21:11:58 +0100 wenzelm added ML-Systems/universal.ML;
Thu, 20 Dec 2007 14:33:40 +0100 wenzelm moved Pure/General/random_word.ML to Tools/random_word.ML;
Wed, 19 Dec 2007 23:06:14 +0100 wenzelm added General/random_word.ML;
Tue, 04 Dec 2007 22:49:26 +0100 wenzelm added Tools/isabelle_process.ML;
Wed, 28 Nov 2007 16:44:22 +0100 wenzelm removed typedecl.ML (cf. object_logic.ML);
Fri, 23 Nov 2007 21:09:30 +0100 haftmann separated typedecl module, providing typedecl command with interpretation
Sun, 04 Nov 2007 17:12:14 +0100 wenzelm removed obsolete ProofGeneral/parsing.ML;
Sun, 04 Nov 2007 16:43:28 +0100 wenzelm added ProofGeneral/pgml_isabelle.ML;
Mon, 08 Oct 2007 22:03:21 +0200 haftmann added proper subclass concept; improved class target
Sat, 06 Oct 2007 22:07:18 +0200 wenzelm added Pure-ProofGeneral target (dummy session with outer syntax keyword initialization);
Thu, 04 Oct 2007 14:42:47 +0200 wenzelm moved Pure/Isar/induct_attrib.ML and Provers/induct_method.ML to Tools/induct.ML;
Mon, 24 Sep 2007 13:52:51 +0200 wenzelm renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML;
Thu, 20 Sep 2007 20:56:32 +0200 wenzelm added interpretation.ML;
less more (0) -100 -60 tip