lib/texinputs/isabellesym.sty
2005-07-12 berghofe 2005-07-12 Added \<module> symbol.
2005-05-30 nipkow 2005-05-30 added \nexists
2005-05-24 haftmann 2005-05-24 ML_idf antiquotation
2005-04-11 nipkow 2005-04-11 added \restriction
2005-04-10 nipkow 2005-04-10 Added lots of AMS harpoons
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-18 wenzelm 2004-06-18 improved comments -- required by 'isatool latex -o syms';
2004-06-17 wenzelm 2004-06-17 fixed 'requires' comments, which are needed for printing of drafts;
2004-05-14 ballarin 2004-05-14 Change of theory hierarchy: Group is now based in Lattice.
2004-04-26 wenzelm 2004-04-26 added isasymsome;
2003-05-02 kleing 2003-05-02 removed package marvosym (breaks \Rightarrow) reduced number of packages for "unusual symbols" replaced \textzerooldstyle by \mathbf{0} etc to get normal sized numbers
2002-12-13 oheimb 2002-12-13 cent/currency: changed from wasysym to textcomp because of PDF problems
2001-12-11 wenzelm 2001-12-11 \isasymindex made text mode;
2001-12-01 wenzelm 2001-12-01 added zero--nine, euro; tuned some text symbols;
2001-11-08 wenzelm 2001-11-08 \newcommand{\isasymindex}{\isamath{\i}};
2001-11-08 wenzelm 2001-11-08 \newcommand{\isasymstruct}{\isamath{\diamond}};
2001-11-07 wenzelm 2001-11-07 \isasymstruct;
2001-10-08 wenzelm 2001-10-08 added tturnstile, TTurnstile;
2001-09-26 wenzelm 2001-09-26 tuned order;
2001-09-26 wenzelm 2001-09-26 turn bullet into bold cdot (looks much better in printed output);
2001-01-24 wenzelm 2001-01-24 added eufrak symbols; renamed \<ll> to \<lless> and \<gg> to \<ggreater>;
2001-01-18 wenzelm 2001-01-18 tuned \<And> and \<Or>;
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;