src/Pure/IsaMakefile
Sun, 22 Mar 2009 19:11:00 +0100 wenzelm ML/ml_test.ML: test of advanced ML compiler invocation in Poly/ML 5.3;
Sat, 21 Mar 2009 20:38:49 +0100 wenzelm extra toplevel pretty-printing for Poly/ML; experimental version for Poly/ML 5.3;
Sat, 21 Mar 2009 20:00:23 +0100 wenzelm added polyml_pp.ML: toplevel pretty printing for Poly/ML 4.x and 5.x before 5.3;
Sat, 21 Mar 2009 15:08:00 +0100 wenzelm added generic ML_Pretty interface;
Thu, 19 Mar 2009 15:22:53 +0100 wenzelm moved Isar/antiquote.ML to General/antiquote.ML, which is loaded early;
Tue, 17 Mar 2009 14:12:06 +0100 wenzelm turned structure NetRules into general Item_Net, which is loaded earlier;
Sun, 08 Mar 2009 16:53:38 +0100 wenzelm added General/long_name.ML;
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Sun, 01 Mar 2009 16:48:06 +0100 wenzelm discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
Sat, 28 Feb 2009 20:29:20 +0100 wenzelm more accurate deps;
Sat, 28 Feb 2009 18:25:19 +0100 wenzelm moved isabelle_system.scala to src/Pure/System/;
Sat, 28 Feb 2009 18:00:20 +0100 wenzelm moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);
Fri, 27 Feb 2009 15:46:22 +0100 wenzelm moved find_theorems.ML and find_consts.ML to Pure/Tools, collecting main implementation in one place each;
Fri, 27 Feb 2009 12:28:28 +0100 wenzelm added ML-Systems/polyml-experimental.ML;
Fri, 13 Feb 2009 07:53:38 +1100 kleing New command find_consts searching for constants by type (by Timothy Bourke).
Wed, 11 Feb 2009 16:03:10 +1100 kleing Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke
Wed, 21 Jan 2009 16:47:03 +0100 haftmann wrecked old locale package and related modules
Sun, 18 Jan 2009 20:06:51 +0100 wenzelm Scala wrapper for interactive Isar documents;
Tue, 13 Jan 2009 13:47:35 +0100 wenzelm added Isar/isar_document.ML: Interactive Isar documents.
Sun, 11 Jan 2009 20:40:09 +0100 wenzelm added outer_keyword.scala: Isar command keyword classification;
Mon, 05 Jan 2009 15:55:04 +0100 haftmann locale -> old_locale, new_locale -> locale
Mon, 05 Jan 2009 15:36:24 +0100 haftmann rearranged target theories
Sat, 03 Jan 2009 08:39:54 +0100 haftmann merged
Sat, 03 Jan 2009 08:36:20 +0100 haftmann added binding.ML
Fri, 02 Jan 2009 16:21:47 +0100 wenzelm renamed ThyEdit (in thy_edit.ML) to ThySyntax (in thy_syntax.ML);
Fri, 02 Jan 2009 15:44:32 +0100 wenzelm added Isar/value_parse.ML: Outer syntax parsers for basic ML values.
Wed, 31 Dec 2008 15:30:10 +0100 wenzelm moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);
Wed, 31 Dec 2008 00:01:51 +0100 wenzelm added old_term.ML;
Tue, 30 Dec 2008 11:10:01 +0100 ballarin Merged.
Wed, 10 Dec 2008 17:18:12 +0100 ballarin Missing dependency
Mon, 29 Dec 2008 20:06:31 +0100 wenzelm Swing utilities.
Mon, 29 Dec 2008 13:57:37 +0100 wenzelm Generic event bus.
Tue, 16 Dec 2008 12:13:53 +0100 wenzelm removed old scheduler;
Mon, 15 Dec 2008 09:58:45 +0100 haftmann moved value.ML to src/Tools
Wed, 03 Dec 2008 15:58:44 +0100 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
Fri, 14 Nov 2008 16:49:52 +0100 ballarin Initial part of locale reimplementation.
Mon, 27 Oct 2008 16:23:54 +0100 ballarin New-style locale expressions with instantiation (new file expression.ML).
Thu, 23 Oct 2008 14:22:16 +0200 wenzelm renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
Thu, 16 Oct 2008 23:56:57 +0200 wenzelm added dep for Concurrent/ROOT.ML;
Mon, 13 Oct 2008 15:48:36 +0200 wenzelm added Concurrent/synchronized.ML;
Thu, 09 Oct 2008 21:34:05 +0200 wenzelm extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
Thu, 09 Oct 2008 20:53:12 +0200 wenzelm added Concurrent/par_list_dummy.ML;
Sat, 04 Oct 2008 16:05:09 +0200 wenzelm replaced ISATOOL by ISABELLE_TOOL;
Sat, 04 Oct 2008 14:29:40 +0200 wenzelm added Thy/thy_header.scala;
Mon, 29 Sep 2008 14:41:22 +0200 wenzelm added context_position.ML;
Mon, 22 Sep 2008 15:26:11 +0200 wenzelm removed deriv.ML which is now incorporated into thm.ML;
Fri, 19 Sep 2008 21:00:46 +0200 wenzelm added Isar/isar.scala;
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;
less more (0) -100 -60 tip