| Fri, 20 Oct 2023 22:19:05 +0200 |
wenzelm |
added ML antiquotation "simproc_setup";
|
file |
diff |
annotate
|
| Sat, 22 Apr 2023 20:55:05 +0200 |
wenzelm |
provide ML antiquotation "if_none": non-strict version of "the_default";
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 23:50:13 +0100 |
wenzelm |
update documentation: prefer control-symbol-cartouche form of "cite" antiquotations;
|
file |
diff |
annotate
|
| Mon, 26 Sep 2022 20:40:19 +0200 |
wenzelm |
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
|
file |
diff |
annotate
|
| Sun, 24 Oct 2021 20:25:51 +0200 |
wenzelm |
clarified name, syntax, messages;
|
file |
diff |
annotate
|
| Sun, 24 Oct 2021 18:02:58 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 13:39:38 +0200 |
wenzelm |
support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing);
|
file |
diff |
annotate
|
| Tue, 21 Sep 2021 13:12:14 +0200 |
wenzelm |
ML antiquotations for object-logic judgment;
|
file |
diff |
annotate
|
| Sun, 19 Sep 2021 21:35:51 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
| Mon, 13 Sep 2021 13:30:39 +0200 |
wenzelm |
more latex macros;
|
file |
diff |
annotate
|
| Thu, 22 Apr 2021 10:11:11 +0200 |
wenzelm |
simplified typesetting of \<guillemotleft>...\<guillemotright>;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2021 23:16:00 +0200 |
wenzelm |
support for conditional ML text;
|
file |
diff |
annotate
|
| Sat, 10 Apr 2021 14:56:03 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Tue, 23 Mar 2021 13:13:31 +0100 |
wenzelm |
discontinue fragile check in LaTeX, e.g. problems with toc entries;
|
file |
diff |
annotate
|
| Mon, 22 Mar 2021 17:24:42 +0100 |
wenzelm |
more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd;
|
file |
diff |
annotate
|
| Sun, 21 Mar 2021 23:15:55 +0100 |
wenzelm |
clarified symbol names, notably relevant for Z_Notation;
|
file |
diff |
annotate
|
| Sun, 21 Mar 2021 23:03:31 +0100 |
wenzelm |
high-quality blackboard-bold fonts from "txmia" (package "txfonts");
|
file |
diff |
annotate
|
| Fri, 19 Mar 2021 13:44:33 +0100 |
wenzelm |
clarified \<Zcomp> (small) vs. \<Zsemi> (big);
|
file |
diff |
annotate
|
| Fri, 19 Mar 2021 12:35:55 +0100 |
wenzelm |
more Z_Notation symbols, as proposed by Simon Foster;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Thu, 18 Mar 2021 12:46:25 +0100 |
wenzelm |
clarified order for presentation in isar-ref (Appendix B);
|
file |
diff |
annotate
|
| Thu, 18 Mar 2021 12:41:17 +0100 |
wenzelm |
prefer explicit \<Zproject> (with its own Unicode codepoint);
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Tue, 09 Mar 2021 21:11:05 +0100 |
wenzelm |
proper type-setting of cartouches (requires T1);
|
file |
diff |
annotate
|
| Mon, 08 Jun 2020 22:31:36 +0200 |
wenzelm |
proper latex macros, notably for src/HOL/Examples/Iff_Oracle.thy;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 19:10:38 +0200 |
wenzelm |
antiquotations for Scala entities;
|
file |
diff |
annotate
|
| Sun, 24 May 2020 19:45:42 +0200 |
wenzelm |
proper check of registered Scala functions;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 17:03:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 16:10:05 +0200 |
wenzelm |
added \<llangle>, \<rrangle>;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 11:18:39 +0200 |
wenzelm |
tuned doc isar-ref;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 11:09:43 +0200 |
wenzelm |
added \<bbar>;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 09:40:43 +0200 |
wenzelm |
added \<sqdot>;
|
file |
diff |
annotate
|
| Sat, 30 Mar 2019 20:54:47 +0100 |
wenzelm |
clarified signature: more explicit type Path.binding;
|
file |
diff |
annotate
|
| Sat, 30 Mar 2019 12:07:31 +0100 |
wenzelm |
more LaTeX symbols;
|
file |
diff |
annotate
|
| Fri, 15 Mar 2019 22:02:05 +0100 |
wenzelm |
more latex symbols;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:00:43 +0100 |
wenzelm |
latex macro for \<^const>;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Mon, 29 Jan 2018 11:18:26 +0100 |
wenzelm |
proper fall-back rendering of control symbol;
|
file |
diff |
annotate
|
| Sat, 13 Jan 2018 11:22:46 +0100 |
wenzelm |
added \<^cancel> operator for unused text;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 20:03:14 +0100 |
wenzelm |
uniform typesetting of \isamarkupcmt and \isasymcomment;
|
file |
diff |
annotate
|
| Thu, 07 Dec 2017 11:14:32 +0100 |
wenzelm |
tuned output in isar-ref manual;
|
file |
diff |
annotate
|
| Thu, 07 Dec 2017 11:12:55 +0100 |
wenzelm |
obsolete (used to be part of old src/Pure/codegen.ML);
|
file |
diff |
annotate
|
| Wed, 06 Dec 2017 15:46:35 +0100 |
wenzelm |
more embedded cartouche arguments;
|
file |
diff |
annotate
|
| Tue, 13 Dec 2016 11:51:42 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 15:25:25 +0200 |
wenzelm |
more latex symbols, notably for embedded ML;
|
file |
diff |
annotate
|
| Sat, 11 Jun 2016 17:36:49 +0200 |
wenzelm |
tuned order for isar-ref;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2016 21:04:13 +0100 |
wenzelm |
symbol interpretation for \<circle>;
|
file |
diff |
annotate
|
| Sun, 14 Feb 2016 16:30:27 +0100 |
wenzelm |
command '\<proof>' is an alias for 'sorry', with different typesetting;
|
file |
diff |
annotate
|
| Sat, 09 Jan 2016 12:58:57 +0100 |
wenzelm |
\<struct> loses its rendering and is superseded by \<diamondop>;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2016 11:07:07 +0100 |
wenzelm |
tuned order for isar-ref;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2015 22:21:28 +0100 |
wenzelm |
tuned order for isar-ref manual;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2015 21:51:58 +0100 |
wenzelm |
more arrow symbols;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2015 20:58:18 +0100 |
wenzelm |
more arrow symbols;
|
file |
diff |
annotate
|
| Thu, 05 Nov 2015 00:02:30 +0100 |
wenzelm |
symbolic syntax "\<comment> text";
|
file |
diff |
annotate
|
| Wed, 08 Apr 2015 21:08:26 +0200 |
wenzelm |
added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:46:58 +0100 |
wenzelm |
crude latex macro for \<newline;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
| Sun, 25 Aug 2013 20:57:09 +0200 |
wenzelm |
discontinued rendering of obsolete \<onesuperior>, \<twosuperior>, \<threesuperior>;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Sat, 14 Jan 2012 16:25:54 +0100 |
wenzelm |
discontinued default rendering for Oheimb's double-space;
|
file |
diff |
annotate
|
| Wed, 27 Apr 2011 13:21:12 +0200 |
wenzelm |
predefined LaTeX macros for \<bind> and \<then>;
|
file |
diff |
annotate
|
| Thu, 02 Dec 2010 23:09:54 +0100 |
wenzelm |
isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 14:10:14 +0200 |
wenzelm |
updated latex requirement;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:55:34 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2006 22:29:53 +0100 |
wenzelm |
added setminus;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 21:39:00 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2005 11:55:33 +0200 |
berghofe |
Added \<module> symbol.
|
file |
diff |
annotate
|
| Mon, 30 May 2005 08:21:58 +0200 |
nipkow |
added \nexists
|
file |
diff |
annotate
|
| Tue, 24 May 2005 14:28:59 +0200 |
haftmann |
ML_idf antiquotation
|
file |
diff |
annotate
|
| Mon, 11 Apr 2005 12:14:48 +0200 |
nipkow |
added \restriction
|
file |
diff |
annotate
|
| Sun, 10 Apr 2005 17:20:03 +0200 |
nipkow |
Added lots of AMS harpoons
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Fri, 18 Jun 2004 20:10:52 +0200 |
wenzelm |
improved comments -- required by 'isatool latex -o syms';
|
file |
diff |
annotate
|
| Thu, 17 Jun 2004 14:27:01 +0200 |
wenzelm |
fixed 'requires' comments, which are needed for printing of drafts;
|
file |
diff |
annotate
|
| Fri, 14 May 2004 19:29:22 +0200 |
ballarin |
Change of theory hierarchy: Group is now based in Lattice.
|
file |
diff |
annotate
|
| Mon, 26 Apr 2004 14:46:47 +0200 |
wenzelm |
added isasymsome;
|
file |
diff |
annotate
|
| Fri, 02 May 2003 16:39:38 +0200 |
kleing |
removed package marvosym (breaks \Rightarrow)
|
file |
diff |
annotate
|
| Fri, 13 Dec 2002 18:14:25 +0100 |
oheimb |
cent/currency: changed from wasysym to textcomp because of PDF problems
|
file |
diff |
annotate
|
| Tue, 11 Dec 2001 16:22:44 +0100 |
wenzelm |
\isasymindex made text mode;
|
file |
diff |
annotate
|
| Sat, 01 Dec 2001 18:51:46 +0100 |
wenzelm |
added zero--nine, euro;
|
file |
diff |
annotate
|
| Thu, 08 Nov 2001 23:55:04 +0100 |
wenzelm |
\newcommand{\isasymindex}{\isamath{\i}};
|
file |
diff |
annotate
|
| Thu, 08 Nov 2001 00:25:09 +0100 |
wenzelm |
\newcommand{\isasymstruct}{\isamath{\diamond}};
|
file |
diff |
annotate
|
| Wed, 07 Nov 2001 18:16:54 +0100 |
wenzelm |
\isasymstruct;
|
file |
diff |
annotate
|
| Mon, 08 Oct 2001 14:19:42 +0200 |
wenzelm |
added tturnstile, TTurnstile;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2001 22:26:11 +0200 |
wenzelm |
tuned order;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2001 20:35:22 +0200 |
wenzelm |
turn bullet into bold cdot (looks much better in printed output);
|
file |
diff |
annotate
|
| Wed, 24 Jan 2001 20:57:19 +0100 |
wenzelm |
added eufrak symbols;
|
file |
diff |
annotate
|
| Thu, 18 Jan 2001 20:36:08 +0100 |
wenzelm |
tuned \<And> and \<Or>;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2001 20:19:34 +0100 |
wenzelm |
added \<wrong> symbol;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2001 23:48:30 +0100 |
wenzelm |
added acute, cedilla, dieresis, hungarumlaut;
|
file |
diff |
annotate
|
| Sun, 07 Jan 2001 21:45:14 +0100 |
wenzelm |
removed ID (avoid CVS conflicts with generated versions);
|
file |
diff |
annotate
|
| Fri, 15 Dec 2000 17:58:40 +0100 |
wenzelm |
tuned symbols;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2000 12:28:52 +0100 |
wenzelm |
added \<a> ... \<z>;
|
file |
diff |
annotate
|
| Mon, 04 Dec 2000 23:22:01 +0100 |
wenzelm |
proper order of symbols for genarated table in system manual;
|
file |
diff |
annotate
|
| Fri, 01 Dec 2000 19:40:18 +0100 |
wenzelm |
added \mathcal A-Z;
|
file |
diff |
annotate
|
| Mon, 30 Oct 2000 18:22:49 +0100 |
wenzelm |
replaced \isasymmacron by \isasyminverse;
|
file |
diff |
annotate
|
| Sun, 15 Oct 2000 19:50:35 +0200 |
wenzelm |
proper symbol markup with \isamath, \isatext;
|
file |
diff |
annotate
|
| Wed, 11 Oct 2000 19:06:36 +0200 |
wenzelm |
\isamath and \isatext: more abstract implementation of symbols;
|
file |
diff |
annotate
|
| Fri, 15 Sep 2000 16:31:00 +0200 |
wenzelm |
added lparr, rparr;
|
file |
diff |
annotate
|
| Fri, 15 Sep 2000 00:17:11 +0200 |
wenzelm |
improved many symbols;
|
file |
diff |
annotate
|
| Sun, 03 Sep 2000 20:01:27 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2000 20:11:11 +0200 |
wenzelm |
improved spacing of Sum, Prod, integral;
|
file |
diff |
annotate
|
| Thu, 24 Aug 2000 00:55:42 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Wed, 12 Apr 2000 23:49:10 +0200 |
wenzelm |
tuned \isasymlbrace;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2000 19:11:30 +0200 |
wenzelm |
tuned \isasymlbrace;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2000 17:05:38 +0200 |
wenzelm |
added \isasymlbrace, \isasymrbrace, \isasymtop;
|
file |
diff |
annotate
|
| Fri, 04 Feb 2000 21:36:13 +0100 |
wenzelm |
tuned syms;
|
file |
diff |
annotate
|
| Thu, 27 Jan 2000 15:30:10 +0100 |
oheimb |
*** empty log message ***
|
file |
diff |
annotate
|
| Sat, 30 Oct 1999 20:11:35 +0200 |
wenzelm |
definitions of many Isabelle symbols;
|
file |
diff |
annotate
|