lib/texinputs/isabellesym.sty
6 weeks ago wenzelm 2017-12-07 tuned output in isar-ref manual;
6 weeks ago wenzelm 2017-12-07 obsolete (used to be part of old src/Pure/codegen.ML);
6 weeks ago wenzelm 2017-12-06 more embedded cartouche arguments; more uniform LaTeX output for control symbols;
13 months ago wenzelm 2016-12-13 more symbols;
17 months ago wenzelm 2016-08-12 more latex symbols, notably for embedded ML;
19 months ago wenzelm 2016-06-11 tuned order for isar-ref;
23 months ago wenzelm 2016-02-27 symbol interpretation for \<circle>;
23 months ago wenzelm 2016-02-14 command '\<proof>' is an alias for 'sorry', with different typesetting;
2016-01-09 wenzelm 2016-01-09 \<struct> loses its rendering and is superseded by \<diamondop>; tuned;
2016-01-01 wenzelm 2016-01-01 tuned order for isar-ref;
2015-12-29 wenzelm 2015-12-29 tuned order for isar-ref manual;
2015-12-29 wenzelm 2015-12-29 more arrow symbols;
2015-12-29 wenzelm 2015-12-29 more arrow symbols;
2015-11-05 wenzelm 2015-11-05 symbolic syntax "\<comment> text";
2015-04-08 wenzelm 2015-04-08 added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
2014-01-18 wenzelm 2014-01-18 crude latex macro for \<newline;
2014-01-18 wenzelm 2014-01-18 support for nested text cartouches; clarified Symbol.is_symbolic: exclude \<open> and \<close>;
2013-08-25 wenzelm 2013-08-25 discontinued rendering of obsolete \<onesuperior>, \<twosuperior>, \<threesuperior>;
2012-06-29 wenzelm 2012-06-29 default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
2012-01-14 wenzelm 2012-01-14 discontinued default rendering for Oheimb's double-space;
2011-04-27 wenzelm 2011-04-27 predefined LaTeX macros for \<bind> and \<then>;
2010-12-02 wenzelm 2010-12-02 isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
2009-03-31 wenzelm 2009-03-31 updated latex requirement;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2006-01-05 wenzelm 2006-01-05 added setminus; tuned;
2005-09-20 wenzelm 2005-09-20 tuned headers;
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;