lib/texinputs/isabellesym.sty
Tue, 23 Mar 2021 13:13:31 +0100 wenzelm discontinue fragile check in LaTeX, e.g. problems with toc entries;
Mon, 22 Mar 2021 17:24:42 +0100 wenzelm more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd;
Sun, 21 Mar 2021 23:15:55 +0100 wenzelm clarified symbol names, notably relevant for Z_Notation;
Sun, 21 Mar 2021 23:03:31 +0100 wenzelm high-quality blackboard-bold fonts from "txmia" (package "txfonts");
Fri, 19 Mar 2021 13:44:33 +0100 wenzelm clarified \<Zcomp> (small) vs. \<Zsemi> (big);
Fri, 19 Mar 2021 12:35:55 +0100 wenzelm more Z_Notation symbols, as proposed by Simon Foster;
Thu, 18 Mar 2021 12:53:05 +0100 wenzelm more accurate spacing, according to results seen in isar-ref (Appendix B), using 12pt or 10pt;
Thu, 18 Mar 2021 12:46:25 +0100 wenzelm clarified order for presentation in isar-ref (Appendix B);
Thu, 18 Mar 2021 12:41:17 +0100 wenzelm prefer explicit \<Zproject> (with its own Unicode codepoint);
Wed, 17 Mar 2021 22:24:57 +0100 wenzelm more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;
Tue, 09 Mar 2021 21:11:05 +0100 wenzelm proper type-setting of cartouches (requires T1);
Mon, 08 Jun 2020 22:31:36 +0200 wenzelm proper latex macros, notably for src/HOL/Examples/Iff_Oracle.thy;
Mon, 25 May 2020 19:10:38 +0200 wenzelm antiquotations for Scala entities;
Sun, 24 May 2020 19:45:42 +0200 wenzelm proper check of registered Scala functions;
Wed, 17 Jul 2019 17:03:50 +0200 wenzelm tuned;
Wed, 17 Jul 2019 16:10:05 +0200 wenzelm added \<llangle>, \<rrangle>;
Wed, 17 Jul 2019 11:18:39 +0200 wenzelm tuned doc isar-ref;
Wed, 17 Jul 2019 11:09:43 +0200 wenzelm added \<bbar>;
Wed, 17 Jul 2019 09:40:43 +0200 wenzelm added \<sqdot>;
Sat, 30 Mar 2019 20:54:47 +0100 wenzelm clarified signature: more explicit type Path.binding;
Sat, 30 Mar 2019 12:07:31 +0100 wenzelm more LaTeX symbols;
Fri, 15 Mar 2019 22:02:05 +0100 wenzelm more latex symbols;
Sat, 05 Jan 2019 17:00:43 +0100 wenzelm latex macro for \<^const>;
Mon, 29 Jan 2018 20:37:28 +0100 wenzelm expand definitions of \DeclareOldFontCommand in traditional article.cls, e.g. KOMA-Script no longer provides these;
Mon, 29 Jan 2018 11:18:26 +0100 wenzelm proper fall-back rendering of control symbol;
Sat, 13 Jan 2018 11:22:46 +0100 wenzelm added \<^cancel> operator for unused text;
Tue, 09 Jan 2018 20:03:14 +0100 wenzelm uniform typesetting of \isamarkupcmt and \isasymcomment;
Thu, 07 Dec 2017 11:14:32 +0100 wenzelm tuned output in isar-ref manual;
Thu, 07 Dec 2017 11:12:55 +0100 wenzelm obsolete (used to be part of old src/Pure/codegen.ML);
Wed, 06 Dec 2017 15:46:35 +0100 wenzelm more embedded cartouche arguments;
Tue, 13 Dec 2016 11:51:42 +0100 wenzelm more symbols;
Fri, 12 Aug 2016 15:25:25 +0200 wenzelm more latex symbols, notably for embedded ML;
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';
less more (0) -60 tip