| 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
|