Wed, 16 Jun 2004 20:37:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 13 Jun 2004 15:30:08 +0200 |
wenzelm |
added display_drafts and print_drafts commands;
|
file |
diff |
annotate
|
Sat, 29 May 2004 14:55:56 +0200 |
wenzelm |
'classrel': support multiple arguments;
|
file |
diff |
annotate
|
Thu, 22 Apr 2004 10:49:30 +0200 |
wenzelm |
improved constdefs and translation functions;
|
file |
diff |
annotate
|
Wed, 10 Dec 2003 14:27:50 +0100 |
ballarin |
Isar: where attribute supports instantiation of type vars.
|
file |
diff |
annotate
|
Tue, 30 Sep 2003 15:09:35 +0200 |
ballarin |
Improvements wrt rule_tac.
|
file |
diff |
annotate
|
Fri, 29 Aug 2003 15:40:11 +0200 |
ballarin |
Method rule_tac understands Isar contexts: documentation.
|
file |
diff |
annotate
|
Tue, 25 Feb 2003 15:27:01 +0100 |
berghofe |
Documented prf / full_prf commands and antiquotations.
|
file |
diff |
annotate
|
Tue, 27 Aug 2002 17:25:44 +0200 |
wenzelm |
thms_containing: allow "_" in specification;
|
file |
diff |
annotate
|
Tue, 02 Jul 2002 17:44:13 +0200 |
wenzelm |
thms_containing: optional limit argument;
|
file |
diff |
annotate
|
Tue, 02 Jul 2002 16:58:57 +0200 |
wenzelm |
update thms_containing;
|
file |
diff |
annotate
|
Fri, 08 Mar 2002 15:53:15 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 07 Mar 2002 23:21:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 07 Mar 2002 19:04:00 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 05 Mar 2002 18:55:46 +0100 |
wenzelm |
more stuff;
|
file |
diff |
annotate
|
Mon, 04 Mar 2002 22:31:21 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 28 Feb 2002 18:09:04 +0100 |
wenzelm |
contexts, locales, sym(metric);
|
file |
diff |
annotate
|
Wed, 27 Feb 2002 19:43:55 +0100 |
wenzelm |
'using' command;
|
file |
diff |
annotate
|
Tue, 12 Feb 2002 20:33:03 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 03 Jan 2002 17:48:02 +0100 |
wenzelm |
next round of updates;
|
file |
diff |
annotate
|
Wed, 02 Jan 2002 21:53:50 +0100 |
wenzelm |
first stage of major update;
|
file |
diff |
annotate
|
Tue, 04 Sep 2001 21:10:57 +0200 |
wenzelm |
renamed "antecedent" case to "rule_context";
|
file |
diff |
annotate
|
Mon, 12 Feb 2001 20:44:02 +0100 |
wenzelm |
\<subseteq> syntax for classes/classrel/axclass/instance;
|
file |
diff |
annotate
|
Thu, 01 Feb 2001 20:43:14 +0100 |
wenzelm |
thms_containing: term args;
|
file |
diff |
annotate
|
Tue, 16 Jan 2001 00:22:43 +0100 |
wenzelm |
more method_setup examples;
|
file |
diff |
annotate
|
Wed, 10 Jan 2001 20:18:55 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 16 Dec 2000 21:41:14 +0100 |
wenzelm |
'def': equiv;
|
file |
diff |
annotate
|
Mon, 11 Dec 2000 20:09:47 +0100 |
wenzelm |
alternative syntax for "translations": harpoons;
|
file |
diff |
annotate
|
Mon, 04 Dec 2000 23:20:37 +0100 |
wenzelm |
diagnostic commands: comment;
|
file |
diff |
annotate
|
Thu, 30 Nov 2000 20:05:10 +0100 |
wenzelm |
schematic goals;
|
file |
diff |
annotate
|