Wed, 13 Jul 2011 21:44:15 +0200 |
wenzelm |
recovered some runtime sharing from d6b6c74a8bcf, without the global memory bottleneck;
|
file |
diff |
annotate
|
Wed, 27 Apr 2011 17:58:45 +0200 |
wenzelm |
reorganized fixes as specialized (global) name space;
|
file |
diff |
annotate
|
Sun, 17 Apr 2011 21:42:47 +0200 |
wenzelm |
added Binding.print convenience, which includes quote already;
|
file |
diff |
annotate
|
Sun, 17 Apr 2011 19:54:04 +0200 |
wenzelm |
report Name_Space.declare/define, relatively to context;
|
file |
diff |
annotate
|
Sat, 16 Apr 2011 15:47:52 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
Fri, 08 Apr 2011 14:20:57 +0200 |
wenzelm |
discontinued special treatment of structure Mixfix;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 22:55:50 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Fri, 17 Dec 2010 17:08:56 +0100 |
wenzelm |
renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
|
file |
diff |
annotate
|
Sun, 28 Nov 2010 15:28:48 +0100 |
wenzelm |
superficial tuning;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Fri, 27 Aug 2010 19:43:28 +0200 |
wenzelm |
more careful treatment of context visibility flag wrt. spurious warnings;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Wed, 11 Aug 2010 12:24:24 +0200 |
haftmann |
moved theory-level target operation fragements to Generic_Target; adjusted bootstrap order
|
file |
diff |
annotate
|
Tue, 10 Aug 2010 15:09:39 +0200 |
haftmann |
basic renumbering
|
file |
diff |
annotate
|
Tue, 10 Aug 2010 14:57:58 +0200 |
haftmann |
separated type from term parameters
|
file |
diff |
annotate
|
Tue, 10 Aug 2010 14:53:41 +0200 |
haftmann |
moved extra_tfrees check for mixfix syntax to Generic_Target
|
file |
diff |
annotate
|
Tue, 10 Aug 2010 14:47:22 +0200 |
haftmann |
name and argument grouping tuning
|
file |
diff |
annotate
|
Tue, 10 Aug 2010 14:42:30 +0200 |
haftmann |
whitespace tuning
|
file |
diff |
annotate
|
Tue, 10 Aug 2010 14:15:44 +0200 |
haftmann |
added generic_target.ML
|
file |
diff |
annotate
|