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