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