src/Pure/pure_setup.ML
Thu, 24 May 2012 15:33:45 +0200 wenzelm simplified Poly/ML setup -- 5.3.0 is now the common base-line;
Thu, 24 May 2012 15:01:17 +0200 wenzelm discontinued support for Poly/ML 5.2.1;
Wed, 12 Oct 2011 16:21:07 +0200 wenzelm discontinued obsolete alias structure ProofContext;
Sat, 23 Jul 2011 17:22:28 +0200 wenzelm explicit structure ML_System;
Wed, 13 Jul 2011 10:57:09 +0200 wenzelm XML.pretty with depth limit;
Tue, 12 Jul 2011 20:11:11 +0200 wenzelm ML pp for XML.tree;
Wed, 29 Jun 2011 16:31:50 +0200 wenzelm print Path.T with some markup;
Sun, 17 Apr 2011 21:42:47 +0200 wenzelm added Binding.print convenience, which includes quote already;
Sat, 16 Apr 2011 15:47:52 +0200 wenzelm modernized structure Proof_Context;
Wed, 06 Apr 2011 18:36:28 +0200 wenzelm made SML/NJ happy (cf. 578a51fae383);
Tue, 05 Apr 2011 14:25:18 +0200 wenzelm discontinued special treatment of structure Ast: no pervasive content, no inclusion in structure Syntax;
Sun, 13 Mar 2011 20:56:00 +0100 wenzelm files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
Sun, 13 Mar 2011 20:21:24 +0100 wenzelm explicit type SHA1.digest;
Sun, 13 Mar 2011 16:01:00 +0100 wenzelm Path.print is the official way to show file-system paths to users -- note that Path.implode often indicates violation of the abstract datatype;
Tue, 08 Feb 2011 17:36:21 +0100 wenzelm discontinued support for Poly/ML 5.2, which was the last version without proper multithreading and TimeLimit implementation;
Wed, 29 Dec 2010 20:41:33 +0100 wenzelm tuned ML toplevel pp for type string: observe depth limit;
Sat, 27 Nov 2010 14:19:04 +0100 wenzelm moved file identification to thy_load.ML (where it is actually used);
Tue, 17 Aug 2010 18:41:55 +0200 wenzelm discontinued support for Poly/ML 5.0 and 5.1 versions;
Wed, 11 Aug 2010 13:39:36 +0200 wenzelm more precise and more maintainable dependencies;
Sun, 25 Jul 2010 21:42:39 +0200 wenzelm simplified/clarified register_thy: more precise treatment of new dependencies, remove descendants;
Sat, 24 Jul 2010 12:14:53 +0200 wenzelm moved management of auxiliary theory source files to Thy_Load -- as theory data instead of accidental loader state;
Wed, 21 Jul 2010 16:14:16 +0200 wenzelm eliminated old time_use/time_use_thy variants -- timing is implicitly controlled via Output.timing;
Tue, 20 Jul 2010 23:09:49 +0200 wenzelm discontinued pervasive val theory = Thy_Info.get_theory -- prefer antiquotations in most situations;
Tue, 20 Jul 2010 21:49:39 +0200 wenzelm SML/NJ: refrain from modifying toplevel pp for type string -- unclear if it could work here;
Tue, 20 Jul 2010 20:56:28 +0200 wenzelm toplevel pp for Proof.state and Toplevel.state;
Thu, 24 Jun 2010 23:20:47 +0200 wenzelm ML pretty printing of type string according to (quasi-abstract) YXML markup and symbols (including UTF8);
Thu, 24 Jun 2010 14:31:46 +0200 wenzelm treat Pretty.T as strictly abstract type;
Mon, 31 May 2010 21:06:57 +0200 wenzelm modernized some structure names, keeping a few legacy aliases;
Sat, 15 May 2010 23:40:00 +0200 wenzelm renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
Sat, 28 Nov 2009 22:28:15 +0100 wenzelm workaround for strange compiler crash of Poly/ML 5.0 and 5.1 at this point http://isabelle.in.tum.de/repos/isabelle/file/a2fc533175ff/src/HOL/Tools/Nitpick/nitpick_nut.ML#l997
Mon, 09 Nov 2009 21:30:54 +0100 wenzelm setup for official Poly/ML 5.3.0, which is now the default;
Mon, 02 Nov 2009 20:57:48 +0100 wenzelm modernized structure Proof_Display;
Tue, 20 Oct 2009 21:37:06 +0200 wenzelm fixed SML/NJ toplevel pp;
Mon, 15 Jun 2009 21:17:34 +0200 wenzelm override toplevel "use" functions last;
Thu, 04 Jun 2009 19:15:54 +0200 wenzelm less experimental polyml-5.3;
Sat, 21 Mar 2009 19:58:45 +0100 wenzelm replaced install_pp/make_pp by more general toplevel_pp based on use_text;
Sat, 21 Mar 2009 15:08:00 +0100 wenzelm Pretty.position;
Fri, 20 Mar 2009 20:05:51 +0100 wenzelm uniform ml_prompts for RAW and Pure;
Tue, 10 Mar 2009 16:42:58 +0100 wenzelm quote binding for ML toplevel pp;
Tue, 03 Mar 2009 15:09:08 +0100 wenzelm Binding.str_of;
Fri, 23 Jan 2009 10:21:27 +0100 haftmann making SMLNJ happy
Mon, 29 Dec 2008 17:56:37 +0100 haftmann pretty printer for bindings
Tue, 16 Dec 2008 16:25:20 +0100 wenzelm renamed structure TaskQueue to Task_Queue;
Thu, 09 Oct 2008 21:34:05 +0200 wenzelm extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
Mon, 29 Sep 2008 21:26:44 +0200 wenzelm install_pp Future.T (polyml only);
Tue, 09 Sep 2008 16:59:48 +0200 wenzelm human-readable printing of TaskQueue.task/group;
Thu, 07 Aug 2008 19:21:38 +0200 wenzelm install_pp Position.T;
Tue, 24 Jun 2008 19:43:17 +0200 wenzelm added pprint_thy_ref;
Sun, 18 May 2008 17:03:20 +0200 wenzelm eliminated theory CPure;
Thu, 10 Apr 2008 14:53:24 +0200 wenzelm val theory = ThyInfo.get_theory;
Fri, 28 Mar 2008 20:02:04 +0100 wenzelm Context.>> : operate on Context.generic;
Thu, 27 Mar 2008 15:32:15 +0100 wenzelm eliminated delayed theory setup
Thu, 27 Mar 2008 14:41:13 +0100 wenzelm implicit setup of emerging theory Pure;
Mon, 29 Oct 2007 16:13:41 +0100 wenzelm qualified Proofterm.proofs;
Thu, 11 Oct 2007 16:05:26 +0200 wenzelm renamed Syntax.XXX_mode to Syntax.mode_XXX;
Mon, 13 Aug 2007 18:10:19 +0200 wenzelm moved appl syntax to PureThy;
Tue, 07 Aug 2007 20:19:50 +0200 wenzelm theory loader: removed obsolete update_thy (coincides with use_thy);
Sun, 29 Jul 2007 16:00:02 +0200 wenzelm added ML toplevel use commands: Toplevel.program;
Tue, 17 Jul 2007 13:19:47 +0200 wenzelm Pure theory setup.
less more (0) tip