| Wed, 31 Aug 2005 15:46:47 +0200 |
wenzelm |
added no_body_context;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:46 +0200 |
wenzelm |
use_dir: added copy-dump option;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:45 +0200 |
wenzelm |
present_text: Toplevel.no_body_context prevents use of wrong context in interaction;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:44 +0200 |
wenzelm |
refer to theory instead of low-level tsig;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:43 +0200 |
wenzelm |
tuned classes_arities_of;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:40 +0200 |
wenzelm |
refer to theory instead of low-level tsig;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:39 +0200 |
wenzelm |
added Avigad-Donnelly;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:38 +0200 |
wenzelm |
reactivate postfix by change of syntax;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:37 +0200 |
wenzelm |
tuned presentation;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:36 +0200 |
wenzelm |
moved lemmas that require the HOL-Complex logic image to Complex/ex/BigO_Complex.thy;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:35 +0200 |
wenzelm |
added Complex/ex/BigO_Complex.thy;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:34 +0200 |
wenzelm |
simp_implies: proper named infix;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:33 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:32 +0200 |
wenzelm |
isatool usedir: added option -C;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:31 +0200 |
wenzelm |
added option -C: copy existing document directory;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:30 +0200 |
wenzelm |
* Delimiters of outer tokens now produce separate LaTeX macros;
|
changeset |
files
|
| Wed, 31 Aug 2005 09:37:12 +0200 |
haftmann |
introduced AList.*
|
changeset |
files
|
| Wed, 31 Aug 2005 09:01:45 +0200 |
haftmann |
better map_entry
|
changeset |
files
|
| Tue, 30 Aug 2005 21:32:10 +0200 |
schirmer |
fixed bug in record_type_abbr_tr'
|
changeset |
files
|
| Tue, 30 Aug 2005 12:47:53 +0200 |
paulson |
patterns in setsum and setprod
|
changeset |
files
|
| Mon, 29 Aug 2005 16:51:39 +0200 |
obua |
Updated import.
|
changeset |
files
|
| Mon, 29 Aug 2005 16:25:24 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Mon, 29 Aug 2005 16:18:07 +0200 |
wenzelm |
delimiter markup for verbatim tokens;
|
changeset |
files
|
| Mon, 29 Aug 2005 16:18:06 +0200 |
wenzelm |
clarify type tok, do not emit markup flag for suppressed tokens;
|
changeset |
files
|
| Mon, 29 Aug 2005 16:18:04 +0200 |
wenzelm |
use AList operations;
|
changeset |
files
|
| Mon, 29 Aug 2005 16:18:03 +0200 |
wenzelm |
cover tagged command regions;
|
changeset |
files
|
| Mon, 29 Aug 2005 16:18:02 +0200 |
wenzelm |
tune spacing where a generated theory text is included directly;
|
changeset |
files
|
| Mon, 29 Aug 2005 11:44:23 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Mon, 29 Aug 2005 10:28:17 +0200 |
wenzelm |
recover original definitions of \isactrlsub etc.;
|
changeset |
files
|
| Mon, 29 Aug 2005 08:34:24 +0200 |
haftmann |
canonical interface for 'default'
|
changeset |
files
|
| Sun, 28 Aug 2005 19:48:15 +0200 |
wenzelm |
output \<^loc> as 'loc' span;
|
changeset |
files
|
| Sun, 28 Aug 2005 19:47:24 +0200 |
wenzelm |
isatool latex -o sty;
|
changeset |
files
|
| Sun, 28 Aug 2005 19:46:49 +0200 |
wenzelm |
added 'loc';
|
changeset |
files
|
| Sun, 28 Aug 2005 19:42:19 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Sun, 28 Aug 2005 19:42:10 +0200 |
wenzelm |
ASCII back-quote no longer sym char;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:35:39 +0200 |
wenzelm |
added \isactrlloc;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:06:07 +0200 |
wenzelm |
* ML functions legacy_bindings and use_legacy_bindings;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:55 +0200 |
wenzelm |
avoid symbolic identifier;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:54 +0200 |
wenzelm |
added (use_)legacy_bindings;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:53 +0200 |
wenzelm |
output_basic: handle AltString token;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:52 +0200 |
wenzelm |
removed obsolete type_syn;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:51 +0200 |
wenzelm |
unskolem local vars;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:50 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:49 +0200 |
wenzelm |
added alt_string;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:48 +0200 |
wenzelm |
added AltString token (delimited by ASCII back-quotes);
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:47 +0200 |
wenzelm |
removed unused dest operation;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:46 +0200 |
wenzelm |
export theorems_of;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:45 +0200 |
wenzelm |
tuned some proofs;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:44 +0200 |
wenzelm |
removed obsolete arities;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:43 +0200 |
wenzelm |
tuned size of included graph;
|
changeset |
files
|
| Sun, 28 Aug 2005 16:04:42 +0200 |
wenzelm |
added \isachardoublequoteopen/close, \isacharbackquoteopen/close;
|
changeset |
files
|
| Sun, 28 Aug 2005 10:08:36 +0200 |
haftmann |
(branch cleanup)
|
changeset |
files
|
| Sun, 28 Aug 2005 10:05:03 +0200 |
haftmann |
(allocating new branch)
|
changeset |
files
|
| Sun, 28 Aug 2005 09:36:18 +0200 |
haftmann |
added superclasses, class_le_path
|
changeset |
files
|
| Sun, 28 Aug 2005 09:26:22 +0200 |
haftmann |
added alist.ML
|
changeset |
files
|
| Sun, 28 Aug 2005 09:18:22 +0200 |
haftmann |
added 'these', removed assoc2
|
changeset |
files
|
| Sun, 28 Aug 2005 09:02:42 +0200 |
haftmann |
added alist module
|
changeset |
files
|
| Fri, 26 Aug 2005 19:47:23 +0200 |
berghofe |
Fixed bug.
|
changeset |
files
|
| Fri, 26 Aug 2005 19:36:07 +0200 |
quigley |
DFG output now works for untyped rules (ML "ResClause.untyped();")
|
changeset |
files
|
| Fri, 26 Aug 2005 10:01:06 +0200 |
ballarin |
Lemmas on dvd, power and finite summation added or strengthened.
|
changeset |
files
|