| Sun, 02 Nov 2014 16:09:35 +0100 |
wenzelm |
more flexibile \setisabellecontext, independently of header;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 15:27:37 +0100 |
wenzelm |
uniform heading commands work in any context, even in theory header;
|
file |
diff |
annotate
|
| Mon, 20 Oct 2014 16:52:36 +0200 |
wenzelm |
official support for "tt" style variants, avoid fragile \verb in LaTeX;
|
file |
diff |
annotate
|
| Sun, 09 Feb 2014 16:17:01 +0100 |
wenzelm |
yet another attempt at actual underscore;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 15:36:54 +0200 |
wenzelm |
discontinued unused antiquotation blocks;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 20:34:46 +0200 |
wenzelm |
discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
|
file |
diff |
annotate
|
| Wed, 12 Sep 2012 12:09:40 +0200 |
wenzelm |
discontinued experiment with literal replacement text in PDF (cf. b646316f8b3c, 2ff10e613689);
|
file |
diff |
annotate
|
| Sun, 27 Nov 2011 13:12:42 +0100 |
wenzelm |
refined "literal" document style, with some correspondence to actual text source;
|
file |
diff |
annotate
|
| Sun, 19 Jun 2011 15:22:58 +0200 |
wenzelm |
discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 17:58:42 +0200 |
wenzelm |
even more robust \isaspacing;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 17:46:25 +0200 |
wenzelm |
some attempts at robust \isaspacing so that \isa{...} can be used in section headings etc. (need to avoid `\? for some reason);
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 11:26:25 +0200 |
wenzelm |
\frenchspacing for formal isabelle style avoids extra space in situations like ``@{text "?"}'' followed by plain text;
|
file |
diff |
annotate
|
| Fri, 06 May 2011 20:25:41 +0200 |
wenzelm |
no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already;
|
file |
diff |
annotate
|
| Fri, 06 May 2011 17:52:08 +0200 |
wenzelm |
removed \underscoreon which is from Larry's iman.sty, not underscore.sty;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:18:43 +0200 |
wenzelm |
provide \isabellestyle{itunderscore} (requires underscore.sty);
|
file |
diff |
annotate
|
| Sun, 01 May 2011 17:13:44 +0200 |
wenzelm |
localized \isabellestyle;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 11:28:22 +0100 |
wenzelm |
more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour;
|
file |
diff |
annotate
|
| Sun, 07 Nov 2010 22:51:16 +0100 |
wenzelm |
basic setup for literal replacement text in PDF, to support copy/paste of Isabelle symbols;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 13:25:01 +0200 |
haftmann |
reverted cs 5aced2f43837 -- no need for hardwired latex command here
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 09:19:13 +0200 |
haftmann |
\\isatypewrite now part of isabelle latex style
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:55:34 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Tue, 24 Jun 2008 19:43:12 +0200 |
wenzelm |
added isaantiqopen/close;
|
file |
diff |
annotate
|
| Thu, 18 Oct 2007 14:30:55 +0200 |
wenzelm |
DeclareRobustCommand \isactrlbsub/esub etc.;
|
file |
diff |
annotate
|
| Tue, 16 Oct 2007 17:06:21 +0200 |
wenzelm |
DeclareRobustCommand isascriptstyle (enables sub/superscripts within section headings etc.);
|
file |
diff |
annotate
|
| Thu, 12 Apr 2007 15:01:11 +0200 |
wenzelm |
newenvironment{isaantiq};
|
file |
diff |
annotate
|
| Sun, 05 Nov 2006 21:44:40 +0100 |
wenzelm |
removed isactrlconst;
|
file |
diff |
annotate
|
| Mon, 16 Oct 2006 14:07:18 +0200 |
haftmann |
added isactrlconst
|
file |
diff |
annotate
|
| Tue, 31 Jan 2006 00:39:44 +0100 |
wenzelm |
all styles now reset to defaults first, i.e. the document may switch styles back and forth;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 21:39:00 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2005 00:46:14 +0200 |
wenzelm |
isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;
|
file |
diff |
annotate
|
| Mon, 29 Aug 2005 10:28:17 +0200 |
wenzelm |
recover original definitions of \isactrlsub etc.;
|
file |
diff |
annotate
|
| Sun, 28 Aug 2005 16:35:39 +0200 |
wenzelm |
added \isactrlloc;
|
file |
diff |
annotate
|
| Sun, 28 Aug 2005 16:04:42 +0200 |
wenzelm |
added \isachardoublequoteopen/close, \isacharbackquoteopen/close;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 13:42:18 +0200 |
wenzelm |
\isabellestyleit: proper \isacharbackslash;
|
file |
diff |
annotate
|
| Fri, 24 Jun 2005 03:16:52 +0200 |
kleing |
made su[bp]/isu[bp] behave the same as their bsu[bp]..esu[bp] counterparts,
|
file |
diff |
annotate
|
| Tue, 24 May 2005 14:28:59 +0200 |
haftmann |
ML_idf antiquotation
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Thu, 06 May 2004 14:20:13 +0200 |
wenzelm |
improved block sup/sub;
|
file |
diff |
annotate
|
| Fri, 09 Jan 2004 01:28:24 +0100 |
kleing |
set isasep to {} by default
|
file |
diff |
annotate
|
| Thu, 08 Jan 2004 08:14:00 +0100 |
kleing |
separate thm lists in latex output by \isasep
|
file |
diff |
annotate
|
| Mon, 29 Dec 2003 06:07:44 +0100 |
kleing |
spanning super and sub scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>
|
file |
diff |
annotate
|
| Wed, 15 Oct 2003 07:03:43 +0200 |
kleing |
use \<^isub> and \<^isup> in identifiers instead of just \<^sub> (avoid
|
file |
diff |
annotate
|
| Mon, 28 Apr 2003 17:52:52 +0200 |
kleing |
in \isanewline: \\ -> \par
|
file |
diff |
annotate
|
| Sun, 21 Oct 2001 19:42:53 +0200 |
wenzelm |
\newif\ifisamarkup controls spacing of isabeginpar;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2001 22:25:23 +0200 |
wenzelm |
bold symbols;
|
file |
diff |
annotate
|
| Sun, 21 Jan 2001 13:21:14 +0100 |
wenzelm |
\isaindent;
|
file |
diff |
annotate
|
| Sun, 07 Jan 2001 21:45:14 +0100 |
wenzelm |
removed ID (avoid CVS conflicts with generated versions);
|
file |
diff |
annotate
|
| Mon, 04 Dec 2000 23:21:35 +0100 |
wenzelm |
added \isabeginpar, \isaendpar;
|
file |
diff |
annotate
|
| Wed, 15 Nov 2000 00:39:44 +0100 |
wenzelm |
isabellebody: \par at begin/end;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2000 23:04:54 +0100 |
wenzelm |
tuned isabelle environment;
|
file |
diff |
annotate
|
| Wed, 18 Oct 2000 23:39:49 +0200 |
wenzelm |
avoid "_" and "^" (more robust);
|
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 12:52:56 +0200 |
wenzelm |
fixed \isastyleminor for "tt": \small;
|
file |
diff |
annotate
|
| Sat, 30 Sep 2000 12:27:57 +0200 |
wenzelm |
isapar: \medskip;
|
file |
diff |
annotate
|
| Thu, 21 Sep 2000 18:33:48 +0200 |
wenzelm |
improved \isachartilde for non-tt styles;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2000 23:43:11 +0200 |
wenzelm |
added plain "tt" style;
|
file |
diff |
annotate
|
| Fri, 15 Sep 2000 16:30:16 +0200 |
wenzelm |
fixed "sl" style;
|
file |
diff |
annotate
|
| Mon, 11 Sep 2000 17:34:42 +0200 |
wenzelm |
added \isabellecontext;
|
file |
diff |
annotate
|
| Sun, 03 Sep 2000 20:01:27 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|