| Thu, 10 Nov 2005 20:57:20 +0100 |
wenzelm |
guess: Toplevel.proof;
|
file |
diff |
annotate
|
| Wed, 09 Nov 2005 16:26:51 +0100 |
wenzelm |
P.context_element, P.locale_element;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2005 17:59:33 +0200 |
wenzelm |
use simplified Toplevel.proof etc.;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2005 00:08:03 +0200 |
wenzelm |
added 'guess';
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 14:03:41 +0200 |
wenzelm |
removed obsolete thms_containing;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2005 23:15:00 +0200 |
wenzelm |
hide: added option '(open)';
|
file |
diff |
annotate
|
| Tue, 13 Sep 2005 22:19:37 +0200 |
wenzelm |
cleanup parsers and interfaces;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2005 17:38:22 +0200 |
wenzelm |
chapter/section/subsection/subsubsection/text: optional locale specification;
|
file |
diff |
annotate
|
| Fri, 02 Sep 2005 09:50:58 +0200 |
ballarin |
print_locale omits facts by default
|
file |
diff |
annotate
|
| Thu, 01 Sep 2005 15:58:11 +0200 |
wenzelm |
renamed 'thms_containing' to 'find_theorems' -- keep old version for the time being;
|
file |
diff |
annotate
|
| Thu, 25 Aug 2005 09:25:03 +0200 |
haftmann |
add_locale_context(_i) now exporting elements (still some refinements to be done)
|
file |
diff |
annotate
|
| Wed, 24 Aug 2005 12:07:00 +0200 |
ballarin |
Printing of interpretations: option to show witness theorems;
|
file |
diff |
annotate
|
| Thu, 18 Aug 2005 11:17:42 +0200 |
wenzelm |
various Toplevel.theory_context commands: proper presentation in context;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 13:42:39 +0200 |
wenzelm |
default tags for theory/proof/ML commands;
|
file |
diff |
annotate
|
| Thu, 14 Jul 2005 19:28:33 +0200 |
wenzelm |
type-safe 'oracle' command;
|
file |
diff |
annotate
|