doc-src/IsarRef/syntax.tex
Tue, 30 Sep 2003 15:09:35 +0200 ballarin Improvements wrt rule_tac.
Tue, 25 Feb 2003 15:27:01 +0100 berghofe Documented prf / full_prf commands and antiquotations.
Fri, 08 Mar 2002 15:53:15 +0100 wenzelm tuned;
Thu, 07 Mar 2002 19:04:00 +0100 wenzelm tuned;
Thu, 28 Feb 2002 18:09:04 +0100 wenzelm contexts, locales, sym(metric);
Tue, 12 Feb 2002 20:33:03 +0100 wenzelm tuned;
Sat, 05 Jan 2002 01:17:48 +0100 wenzelm tuned;
Wed, 02 Jan 2002 21:53:50 +0100 wenzelm first stage of major update;
Tue, 02 Oct 2001 20:23:33 +0200 wenzelm support non-oriented infix;
Mon, 12 Feb 2001 20:44:02 +0100 wenzelm \<subseteq> syntax for classes/classrel/axclass/instance;
Wed, 10 Jan 2001 20:18:55 +0100 wenzelm tuned;
Mon, 30 Oct 2000 18:23:34 +0100 wenzelm improved doc of "subgoals" antiquotation;
Mon, 30 Oct 2000 08:40:05 +0100 nipkow added antiq. subgoals
Wed, 25 Oct 2000 18:35:01 +0200 wenzelm improved antiquotations;
Tue, 24 Oct 2000 23:34:08 +0200 wenzelm added antiquotation "goals" and option "goals_limit";
Fri, 06 Oct 2000 14:19:48 +0200 wenzelm tuned;
Wed, 04 Oct 2000 21:05:10 +0200 wenzelm improved @;
Wed, 30 Aug 2000 17:55:12 +0200 wenzelm renamed antiquotation 'name' to 'text';
Tue, 29 Aug 2000 20:12:35 +0200 wenzelm added antiquotation 'name' and option 'indent';
Thu, 17 Aug 2000 10:32:44 +0200 wenzelm index tokens;
Mon, 14 Aug 2000 18:43:57 +0200 wenzelm updated command termination issue;
Sat, 01 Jul 2000 20:01:36 +0200 wenzelm IGNORE last log message!
Sat, 01 Jul 2000 19:59:24 +0200 wenzelm removed "help";
Thu, 29 Jun 2000 22:37:24 +0200 wenzelm syntax: renamed 'thmname' to 'thmbind';
Wed, 07 Jun 2000 14:19:48 +0200 wenzelm string syntax: allow \\ \" \\n only;
Sun, 21 May 2000 14:33:46 +0200 wenzelm replaced {{ }} by { };
Wed, 12 Apr 2000 23:45:01 +0200 wenzelm added inst, insts;
Mon, 27 Mar 2000 18:09:49 +0200 wenzelm fixed term syntax;
Tue, 21 Mar 2000 17:32:44 +0100 wenzelm tuned;
Mon, 20 Mar 2000 18:43:20 +0100 wenzelm goalspec;
Wed, 08 Mar 2000 23:40:48 +0100 wenzelm tuned;
Wed, 26 Jan 2000 21:10:27 +0100 wenzelm 'name' syntax includes numbers;
Wed, 05 Jan 2000 11:58:18 +0100 wenzelm comment: any number of texts;
Sat, 30 Oct 1999 20:13:16 +0200 wenzelm tuned;
Thu, 21 Oct 1999 17:42:21 +0200 wenzelm updated;
Sat, 04 Sep 1999 20:57:32 +0200 wenzelm updated;
Wed, 01 Sep 1999 21:28:42 +0200 wenzelm removed "*" method combinator;
Tue, 24 Aug 1999 15:38:18 +0200 wenzelm draft release;
Mon, 23 Aug 1999 15:27:27 +0200 wenzelm tuned;
Mon, 23 Aug 1999 11:43:21 +0200 wenzelm tuned;
Sun, 22 Aug 1999 21:13:20 +0200 wenzelm checkpoint;
Wed, 04 Aug 1999 18:20:24 +0200 wenzelm tuned;
Tue, 03 Aug 1999 18:56:51 +0200 wenzelm tuned;
Fri, 30 Jul 1999 18:27:25 +0200 wenzelm even more stuff;
Fri, 30 Jul 1999 15:40:54 +0200 wenzelm more;
Fri, 30 Jul 1999 14:59:32 +0200 wenzelm more stuff;
Tue, 20 Jul 1999 18:50:46 +0200 wenzelm checkpoint;
Mon, 19 Jul 1999 17:08:05 +0200 wenzelm skeleton only;
less more (0) tip