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
|
Sun, 15 Oct 2000 19:51:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 06 Oct 2000 14:19:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 12 Sep 2000 17:34:50 +0200 |
wenzelm |
renamed "delrule" to "rule del";
|
file |
diff |
annotate
|
Tue, 29 Aug 2000 20:12:04 +0200 |
wenzelm |
'syntax': improved mode spec;
|
file |
diff |
annotate
|
Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
Mon, 14 Aug 2000 18:47:32 +0200 |
wenzelm |
added 'declare' command;
|
file |
diff |
annotate
|
Sun, 30 Jul 2000 13:01:09 +0200 |
wenzelm |
'def': no constraint on variable;
|
file |
diff |
annotate
|
Thu, 13 Jul 2000 23:08:20 +0200 |
wenzelm |
defs: (overloaded) option;
|
file |
diff |
annotate
|
Thu, 06 Jul 2000 18:11:48 +0200 |
wenzelm |
allow comment in more commands;
|
file |
diff |
annotate
|
Tue, 04 Jul 2000 01:11:42 +0200 |
wenzelm |
added "nothing" (empty list of theorems);
|
file |
diff |
annotate
|
Sat, 01 Jul 2000 19:59:24 +0200 |
wenzelm |
removed "help";
|
file |
diff |
annotate
|
Thu, 29 Jun 2000 22:36:45 +0200 |
wenzelm |
facts: support multiple lists of arguments;
|
file |
diff |
annotate
|
Sat, 03 Jun 2000 23:57:40 +0200 |
wenzelm |
'next', '{', '}': comment;
|
file |
diff |
annotate
|