Wed, 10 Oct 2012 15:39:01 +0200 |
wenzelm |
added some ad-hoc namespace prefixes to avoid duplicate facts;
|
file |
diff |
annotate
|
Sat, 25 Jun 2011 12:19:54 +0200 |
ballarin |
While reading equations of an interpretation, already allow syntax provided by the interpretation base.
|
file |
diff |
annotate
|
Fri, 18 Feb 2011 17:03:30 +0100 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
Thu, 06 Jan 2011 21:06:18 +0100 |
ballarin |
Diagnostic command to show locale dependencies.
|
file |
diff |
annotate
|
Mon, 20 Dec 2010 13:24:04 +0100 |
wenzelm |
actually enable show_hyps option, unlike local_setup in 6da953d30f48 which merely affects the (temporary) auxiliary context;
|
file |
diff |
annotate
|
Sat, 18 Dec 2010 18:43:16 +0100 |
ballarin |
Add mixins to locale dependencies.
|
file |
diff |
annotate
|
Sat, 18 Dec 2010 18:43:14 +0100 |
ballarin |
Enable show_hyps, which appears to be set in batch mode but in an interactive session.
|
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
|
Sat, 31 Jul 2010 21:14:20 +0200 |
ballarin |
print_interps shows interpretations in proofs.
|
file |
diff |
annotate
|
Sat, 31 Jul 2010 21:14:20 +0200 |
ballarin |
Interpretation in proofs supports mixins.
|
file |
diff |
annotate
|
Thu, 27 May 2010 18:10:37 +0200 |
wenzelm |
renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
|
file |
diff |
annotate
|
Wed, 26 May 2010 21:20:18 +0200 |
ballarin |
Revise locale test theory layout.
|
file |
diff |
annotate
|