lib/texinputs/isabellesym.sty
Thu, 18 Jan 2001 20:36:08 +0100 wenzelm tuned \<And> and \<Or>;
Wed, 10 Jan 2001 20:19:34 +0100 wenzelm added \<wrong> symbol;
Tue, 09 Jan 2001 23:48:30 +0100 wenzelm added acute, cedilla, dieresis, hungarumlaut;
Sun, 07 Jan 2001 21:45:14 +0100 wenzelm removed ID (avoid CVS conflicts with generated versions);
Fri, 15 Dec 2000 17:58:40 +0100 wenzelm tuned symbols;
Wed, 06 Dec 2000 12:28:52 +0100 wenzelm added \<a> ... \<z>;
Mon, 04 Dec 2000 23:22:01 +0100 wenzelm proper order of symbols for genarated table in system manual;
Fri, 01 Dec 2000 19:40:18 +0100 wenzelm added \mathcal A-Z;
Mon, 30 Oct 2000 18:22:49 +0100 wenzelm replaced \isasymmacron by \isasyminverse;
Sun, 15 Oct 2000 19:50:35 +0200 wenzelm proper symbol markup with \isamath, \isatext;
Wed, 11 Oct 2000 19:06:36 +0200 wenzelm \isamath and \isatext: more abstract implementation of symbols;
Fri, 15 Sep 2000 16:31:00 +0200 wenzelm added lparr, rparr;
Fri, 15 Sep 2000 00:17:11 +0200 wenzelm improved many symbols;
Sun, 03 Sep 2000 20:01:27 +0200 wenzelm GPLed;
Tue, 29 Aug 2000 20:11:11 +0200 wenzelm improved spacing of Sum, Prod, integral;
Thu, 24 Aug 2000 00:55:42 +0200 wenzelm more symbols;
Wed, 12 Apr 2000 23:49:10 +0200 wenzelm tuned \isasymlbrace;
Thu, 06 Apr 2000 19:11:30 +0200 wenzelm tuned \isasymlbrace;
Thu, 06 Apr 2000 17:05:38 +0200 wenzelm added \isasymlbrace, \isasymrbrace, \isasymtop;
Fri, 04 Feb 2000 21:36:13 +0100 wenzelm tuned syms;
Thu, 27 Jan 2000 15:30:10 +0100 oheimb *** empty log message ***
Sat, 30 Oct 1999 20:11:35 +0200 wenzelm definitions of many Isabelle symbols;
less more (0) tip