| 7 months ago |
wenzelm |
2017-12-07 |
obsolete (used to be part of old src/Pure/codegen.ML);
|
file | diff | annotate |
| 7 months ago |
wenzelm |
2017-12-06 |
more embedded cartouche arguments;
more uniform LaTeX output for control symbols;
|
file | diff | annotate |
| 19 months ago |
wenzelm |
2016-12-13 |
more symbols;
|
file | diff | annotate |
| 23 months ago |
wenzelm |
2016-08-12 |
more latex symbols, notably for embedded ML;
|
file | diff | annotate |
| 2016-06-11 |
wenzelm |
2016-06-11 |
tuned order for isar-ref;
|
file | diff | annotate |
| 2016-02-27 |
wenzelm |
2016-02-27 |
symbol interpretation for \<circle>;
|
file | diff | annotate |
| 2016-02-14 |
wenzelm |
2016-02-14 |
command '\<proof>' is an alias for 'sorry', with different typesetting;
|
file | diff | annotate |
| 2016-01-09 |
wenzelm |
2016-01-09 |
\<struct> loses its rendering and is superseded by \<diamondop>;
tuned;
|
file | diff | annotate |
| 2016-01-01 |
wenzelm |
2016-01-01 |
tuned order for isar-ref;
|
file | diff | annotate |
| 2015-12-29 |
wenzelm |
2015-12-29 |
tuned order for isar-ref manual;
|
file | diff | annotate |
| 2015-12-29 |
wenzelm |
2015-12-29 |
more arrow symbols;
|
file | diff | annotate |
| 2015-12-29 |
wenzelm |
2015-12-29 |
more arrow symbols;
|
file | diff | annotate |
| 2015-11-05 |
wenzelm |
2015-11-05 |
symbolic syntax "\<comment> text";
|
file | diff | annotate |
| 2015-04-08 |
wenzelm |
2015-04-08 |
added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
|
file | diff | annotate |
| 2014-01-18 |
wenzelm |
2014-01-18 |
crude latex macro for \<newline;
|
file | diff | annotate |
| 2014-01-18 |
wenzelm |
2014-01-18 |
support for nested text cartouches;
clarified Symbol.is_symbolic: exclude \<open> and \<close>;
|
file | diff | annotate |
| 2013-08-25 |
wenzelm |
2013-08-25 |
discontinued rendering of obsolete \<onesuperior>, \<twosuperior>, \<threesuperior>;
|
file | diff | annotate |
| 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);
|
file | diff | annotate |
| 2012-01-14 |
wenzelm |
2012-01-14 |
discontinued default rendering for Oheimb's double-space;
|
file | diff | annotate |
| 2011-04-27 |
wenzelm |
2011-04-27 |
predefined LaTeX macros for \<bind> and \<then>;
|
file | diff | annotate |
| 2010-12-02 |
wenzelm |
2010-12-02 |
isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
|
file | diff | annotate |
| 2009-03-31 |
wenzelm |
2009-03-31 |
updated latex requirement;
|
file | diff | annotate |
| 2008-12-20 |
wenzelm |
2008-12-20 |
removed Ids;
|
file | diff | annotate |
| 2006-01-05 |
wenzelm |
2006-01-05 |
added setminus;
tuned;
|
file | diff | annotate |
| 2005-09-20 |
wenzelm |
2005-09-20 |
tuned headers;
|
file | diff | annotate |
| 2005-07-12 |
berghofe |
2005-07-12 |
Added \<module> symbol.
|
file | diff | annotate |
| 2005-05-30 |
nipkow |
2005-05-30 |
added \nexists
|
file | diff | annotate |
| 2005-05-24 |
haftmann |
2005-05-24 |
ML_idf antiquotation
|
file | diff | annotate |
| 2005-04-11 |
nipkow |
2005-04-11 |
added \restriction
|
file | diff | annotate |
| 2005-04-10 |
nipkow |
2005-04-10 |
Added lots of AMS harpoons
|
file | diff | annotate |
| 2004-06-21 |
kleing |
2004-06-21 |
Merged in license change from Isabelle2004
|
file | diff | annotate |
| 2004-06-18 |
wenzelm |
2004-06-18 |
improved comments -- required by 'isatool latex -o syms';
|
file | diff | annotate |
| 2004-06-17 |
wenzelm |
2004-06-17 |
fixed 'requires' comments, which are needed for printing of drafts;
|
file | diff | annotate |
| 2004-05-14 |
ballarin |
2004-05-14 |
Change of theory hierarchy: Group is now based in Lattice.
|
file | diff | annotate |
| 2004-04-26 |
wenzelm |
2004-04-26 |
added isasymsome;
|
file | diff | annotate |
| 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
|
file | diff | annotate |
| 2002-12-13 |
oheimb |
2002-12-13 |
cent/currency: changed from wasysym to textcomp because of PDF problems
|
file | diff | annotate |
| 2001-12-11 |
wenzelm |
2001-12-11 |
\isasymindex made text mode;
|
file | diff | annotate |
| 2001-12-01 |
wenzelm |
2001-12-01 |
added zero--nine, euro;
tuned some text symbols;
|
file | diff | annotate |
| 2001-11-08 |
wenzelm |
2001-11-08 |
\newcommand{\isasymindex}{\isamath{\i}};
|
file | diff | annotate |
| 2001-11-08 |
wenzelm |
2001-11-08 |
\newcommand{\isasymstruct}{\isamath{\diamond}};
|
file | diff | annotate |
| 2001-11-07 |
wenzelm |
2001-11-07 |
\isasymstruct;
|
file | diff | annotate |
| 2001-10-08 |
wenzelm |
2001-10-08 |
added tturnstile, TTurnstile;
|
file | diff | annotate |
| 2001-09-26 |
wenzelm |
2001-09-26 |
tuned order;
|
file | diff | annotate |
| 2001-09-26 |
wenzelm |
2001-09-26 |
turn bullet into bold cdot (looks much better in printed output);
|
file | diff | annotate |
| 2001-01-24 |
wenzelm |
2001-01-24 |
added eufrak symbols;
renamed \<ll> to \<lless> and \<gg> to \<ggreater>;
|
file | diff | annotate |
| 2001-01-18 |
wenzelm |
2001-01-18 |
tuned \<And> and \<Or>;
|
file | diff | annotate |
| 2001-01-10 |
wenzelm |
2001-01-10 |
added \<wrong> symbol;
|
file | diff | annotate |
| 2001-01-09 |
wenzelm |
2001-01-09 |
added acute, cedilla, dieresis, hungarumlaut;
|
file | diff | annotate |
| 2001-01-07 |
wenzelm |
2001-01-07 |
removed ID (avoid CVS conflicts with generated versions);
|
file | diff | annotate |
| 2000-12-15 |
wenzelm |
2000-12-15 |
tuned symbols;
|
file | diff | annotate |
| 2000-12-06 |
wenzelm |
2000-12-06 |
added \<a> ... \<z>;
|
file | diff | annotate |
| 2000-12-04 |
wenzelm |
2000-12-04 |
proper order of symbols for genarated table in system manual;
|
file | diff | annotate |
| 2000-12-01 |
wenzelm |
2000-12-01 |
added \mathcal A-Z;
|
file | diff | annotate |
| 2000-10-30 |
wenzelm |
2000-10-30 |
replaced \isasymmacron by \isasyminverse;
|
file | diff | annotate |
| 2000-10-15 |
wenzelm |
2000-10-15 |
proper symbol markup with \isamath, \isatext;
support sub/super scripts:
|
file | diff | annotate |
| 2000-10-11 |
wenzelm |
2000-10-11 |
\isamath and \isatext: more abstract implementation of symbols;
|
file | diff | annotate |
| 2000-09-15 |
wenzelm |
2000-09-15 |
added lparr, rparr;
tuned some symbols;
|
file | diff | annotate |
| 2000-09-15 |
wenzelm |
2000-09-15 |
improved many symbols;
document package dependencies;
|
file | diff | annotate |
| 2000-09-03 |
wenzelm |
2000-09-03 |
GPLed;
|
file | diff | annotate |