doc-src/IsarRef/refcard.tex
Fri, 29 Aug 2003 15:40:11 +0200 ballarin Method rule_tac understands Isar contexts: documentation.
Wed, 07 Aug 2002 17:36:05 +0200 wenzelm section on "Rule declarations and methods";
Fri, 08 Mar 2002 15:53:15 +0100 wenzelm tuned;
Thu, 07 Mar 2002 22:52:07 +0100 wenzelm *** empty log message ***
Tue, 05 Mar 2002 18:55:46 +0100 wenzelm more stuff;
Mon, 04 Mar 2002 22:32:15 +0100 wenzelm 'using' primitive;
Sun, 15 Oct 2000 19:51:56 +0200 wenzelm tuned;
Tue, 12 Sep 2000 22:13:23 +0200 wenzelm renamed atts: rulify to rule_format, elimify to elim_format;
Thu, 07 Sep 2000 21:06:55 +0200 wenzelm improved att names;
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Thu, 17 Aug 2000 10:31:43 +0200 wenzelm updated;
Mon, 14 Aug 2000 18:45:31 +0200 wenzelm updated;
Sun, 23 Jul 2000 12:01:05 +0200 wenzelm classical atts now intro! / intro / intro?;
Sat, 01 Jul 2000 19:59:24 +0200 wenzelm removed "help";
Wed, 12 Apr 2000 23:45:21 +0200 wenzelm added 'insert' method;
Thu, 30 Mar 2000 15:12:20 +0200 wenzelm added 'moreover' and 'ultimately';
Tue, 21 Mar 2000 17:32:44 +0100 wenzelm tuned;
Tue, 21 Mar 2000 17:32:43 +0100 wenzelm tuned;
Mon, 20 Mar 2000 18:42:50 +0100 wenzelm tactic emulation;
Sat, 18 Mar 2000 19:03:57 +0100 wenzelm obtain;
Fri, 17 Mar 2000 22:52:29 +0100 wenzelm tuned;
Thu, 16 Mar 2000 00:29:03 +0100 wenzelm Splitter support;
Tue, 14 Mar 2000 11:31:04 +0100 wenzelm added 'case' command;
Mon, 07 Feb 2000 18:38:51 +0100 wenzelm intro/elim/dest attributes: changed ! / !! flags to ? / ??;
Sat, 05 Feb 2000 16:54:27 +0100 wenzelm '.' == by this;
Sun, 31 Oct 1999 15:20:35 +0100 wenzelm tuned;
Sat, 30 Oct 1999 20:13:16 +0200 wenzelm tuned;
Fri, 29 Oct 1999 19:00:51 +0200 wenzelm tuned;
Fri, 29 Oct 1999 16:48:55 +0200 wenzelm improved;
Thu, 21 Oct 1999 18:04:07 +0200 wenzelm *** empty log message ***
less more (0) tip