doc-src/IsarRef/generic.tex
Wed, 27 Dec 2000 18:26:32 +0100 wenzelm 'insert' made proper;
Thu, 07 Dec 2000 17:09:15 +0100 wenzelm tuned;
Thu, 30 Nov 2000 20:04:16 +0100 wenzelm 'consumes' att;
Tue, 24 Oct 2000 23:32:33 +0200 wenzelm tuned;
Sun, 15 Oct 2000 19:51:56 +0200 wenzelm tuned;
Fri, 06 Oct 2000 14:19:48 +0200 wenzelm tuned;
Wed, 04 Oct 2000 21:06:01 +0200 wenzelm tuned;
Tue, 19 Sep 2000 23:51:39 +0200 wenzelm attribute / modifier 'iff': support "?" mode;
Tue, 12 Sep 2000 22:13:23 +0200 wenzelm renamed atts: rulify to rule_format, elimify to elim_format;
Tue, 12 Sep 2000 17:34:50 +0200 wenzelm renamed "delrule" to "rule del";
Thu, 07 Sep 2000 21:06:55 +0200 wenzelm improved att names;
Tue, 05 Sep 2000 18:43:54 +0200 wenzelm added 'iff' modifier;
Sat, 02 Sep 2000 21:47:08 +0200 wenzelm 'split' method: '(asm)' option;
Fri, 01 Sep 2000 00:48:12 +0200 wenzelm added 'safe' method;
Tue, 29 Aug 2000 00:53:48 +0200 wenzelm 'cong' modifiers;
less more (0) -15 tip