| 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
|