lib/texinputs/isabellesym.sty
Sat, 11 Jun 2016 17:36:49 +0200 wenzelm tuned order for isar-ref;
Sat, 27 Feb 2016 21:04:13 +0100 wenzelm symbol interpretation for \<circle>;
Sun, 14 Feb 2016 16:30:27 +0100 wenzelm command '\<proof>' is an alias for 'sorry', with different typesetting;
Sat, 09 Jan 2016 12:58:57 +0100 wenzelm \<struct> loses its rendering and is superseded by \<diamondop>;
Fri, 01 Jan 2016 11:07:07 +0100 wenzelm tuned order for isar-ref;
Tue, 29 Dec 2015 22:21:28 +0100 wenzelm tuned order for isar-ref manual;
Tue, 29 Dec 2015 21:51:58 +0100 wenzelm more arrow symbols;
Tue, 29 Dec 2015 20:58:18 +0100 wenzelm more arrow symbols;
Thu, 05 Nov 2015 00:02:30 +0100 wenzelm symbolic syntax "\<comment> text";
Wed, 08 Apr 2015 21:08:26 +0200 wenzelm added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
Sat, 18 Jan 2014 19:46:58 +0100 wenzelm crude latex macro for \<newline;
Sat, 18 Jan 2014 19:15:12 +0100 wenzelm support for nested text cartouches;
Sun, 25 Aug 2013 20:57:09 +0200 wenzelm discontinued rendering of obsolete \<onesuperior>, \<twosuperior>, \<threesuperior>;
Fri, 29 Jun 2012 15:45:50 +0200 wenzelm default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
Sat, 14 Jan 2012 16:25:54 +0100 wenzelm discontinued default rendering for Oheimb's double-space;
Wed, 27 Apr 2011 13:21:12 +0200 wenzelm predefined LaTeX macros for \<bind> and \<then>;
Thu, 02 Dec 2010 23:09:54 +0100 wenzelm isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
Tue, 31 Mar 2009 14:10:14 +0200 wenzelm updated latex requirement;
Sat, 20 Dec 2008 11:55:34 +0100 wenzelm removed Ids;
Thu, 05 Jan 2006 22:29:53 +0100 wenzelm added setminus;
Tue, 20 Sep 2005 21:39:00 +0200 wenzelm tuned headers;
Tue, 12 Jul 2005 11:55:33 +0200 berghofe Added \<module> symbol.
Mon, 30 May 2005 08:21:58 +0200 nipkow added \nexists
Tue, 24 May 2005 14:28:59 +0200 haftmann ML_idf antiquotation
Mon, 11 Apr 2005 12:14:48 +0200 nipkow added \restriction
Sun, 10 Apr 2005 17:20:03 +0200 nipkow Added lots of AMS harpoons
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Fri, 18 Jun 2004 20:10:52 +0200 wenzelm improved comments -- required by 'isatool latex -o syms';
Thu, 17 Jun 2004 14:27:01 +0200 wenzelm fixed 'requires' comments, which are needed for printing of drafts;
Fri, 14 May 2004 19:29:22 +0200 ballarin Change of theory hierarchy: Group is now based in Lattice.
Mon, 26 Apr 2004 14:46:47 +0200 wenzelm added isasymsome;
Fri, 02 May 2003 16:39:38 +0200 kleing removed package marvosym (breaks \Rightarrow)
Fri, 13 Dec 2002 18:14:25 +0100 oheimb cent/currency: changed from wasysym to textcomp because of PDF problems
Tue, 11 Dec 2001 16:22:44 +0100 wenzelm \isasymindex made text mode;
Sat, 01 Dec 2001 18:51:46 +0100 wenzelm added zero--nine, euro;
Thu, 08 Nov 2001 23:55:04 +0100 wenzelm \newcommand{\isasymindex}{\isamath{\i}};
Thu, 08 Nov 2001 00:25:09 +0100 wenzelm \newcommand{\isasymstruct}{\isamath{\diamond}};
Wed, 07 Nov 2001 18:16:54 +0100 wenzelm \isasymstruct;
Mon, 08 Oct 2001 14:19:42 +0200 wenzelm added tturnstile, TTurnstile;
Wed, 26 Sep 2001 22:26:11 +0200 wenzelm tuned order;
Wed, 26 Sep 2001 20:35:22 +0200 wenzelm turn bullet into bold cdot (looks much better in printed output);
Wed, 24 Jan 2001 20:57:19 +0100 wenzelm added eufrak symbols;
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;
less more (0) -60 tip