lib/texinputs/isabellesym.sty
2001-01-10 wenzelm 2001-01-10 added \<wrong> symbol;
2001-01-09 wenzelm 2001-01-09 added acute, cedilla, dieresis, hungarumlaut;
2001-01-07 wenzelm 2001-01-07 removed ID (avoid CVS conflicts with generated versions);
2000-12-15 wenzelm 2000-12-15 tuned symbols;
2000-12-06 wenzelm 2000-12-06 added \<a> ... \<z>;
2000-12-04 wenzelm 2000-12-04 proper order of symbols for genarated table in system manual;
2000-12-01 wenzelm 2000-12-01 added \mathcal A-Z;
2000-10-30 wenzelm 2000-10-30 replaced \isasymmacron by \isasyminverse;
2000-10-15 wenzelm 2000-10-15 proper symbol markup with \isamath, \isatext; support sub/super scripts:
2000-10-11 wenzelm 2000-10-11 \isamath and \isatext: more abstract implementation of symbols;
2000-09-15 wenzelm 2000-09-15 added lparr, rparr; tuned some symbols;
2000-09-15 wenzelm 2000-09-15 improved many symbols; document package dependencies;
2000-09-03 wenzelm 2000-09-03 GPLed;
2000-08-29 wenzelm 2000-08-29 improved spacing of Sum, Prod, integral; tuned;
2000-08-24 wenzelm 2000-08-24 more symbols;
2000-04-12 wenzelm 2000-04-12 tuned \isasymlbrace;
2000-04-06 wenzelm 2000-04-06 tuned \isasymlbrace;
2000-04-06 wenzelm 2000-04-06 added \isasymlbrace, \isasymrbrace, \isasymtop;
2000-02-04 wenzelm 2000-02-04 tuned syms;
2000-01-27 oheimb 2000-01-27 *** empty log message ***
1999-10-30 wenzelm 1999-10-30 definitions of many Isabelle symbols;