src/Pure/Isar/generic_target.ML
Wed, 13 Jul 2011 21:44:15 +0200 wenzelm recovered some runtime sharing from d6b6c74a8bcf, without the global memory bottleneck;
Wed, 27 Apr 2011 17:58:45 +0200 wenzelm reorganized fixes as specialized (global) name space;
Sun, 17 Apr 2011 21:42:47 +0200 wenzelm added Binding.print convenience, which includes quote already;
Sun, 17 Apr 2011 19:54:04 +0200 wenzelm report Name_Space.declare/define, relatively to context;
Sat, 16 Apr 2011 15:47:52 +0200 wenzelm modernized structure Proof_Context;
Fri, 08 Apr 2011 14:20:57 +0200 wenzelm discontinued special treatment of structure Mixfix;
Sun, 13 Mar 2011 22:55:50 +0100 wenzelm tuned headers;
Fri, 17 Dec 2010 17:08:56 +0100 wenzelm renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
Sun, 28 Nov 2010 15:28:48 +0100 wenzelm superficial tuning;
Mon, 20 Sep 2010 16:05:25 +0200 wenzelm renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
Fri, 27 Aug 2010 19:43:28 +0200 wenzelm more careful treatment of context visibility flag wrt. spurious warnings;
Thu, 26 Aug 2010 15:48:08 +0200 wenzelm renamed Local_Theory.theory(_result) to Local_Theory.background_theory(_result) to emphasize that this belongs to the infrastructure and is rarely appropriate in user-space tools;
Wed, 11 Aug 2010 12:24:24 +0200 haftmann moved theory-level target operation fragements to Generic_Target; adjusted bootstrap order
Tue, 10 Aug 2010 15:09:39 +0200 haftmann basic renumbering
Tue, 10 Aug 2010 14:57:58 +0200 haftmann separated type from term parameters
Tue, 10 Aug 2010 14:53:41 +0200 haftmann moved extra_tfrees check for mixfix syntax to Generic_Target
Tue, 10 Aug 2010 14:47:22 +0200 haftmann name and argument grouping tuning
Tue, 10 Aug 2010 14:42:30 +0200 haftmann whitespace tuning
Tue, 10 Aug 2010 14:15:44 +0200 haftmann added generic_target.ML
less more (0) tip