doc-src/IsarRef/syntax.tex
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 { };
less more (0) -10 -7 tip