| Sun, 27 Nov 2011 13:12:42 +0100 |
wenzelm |
refined "literal" document style, with some correspondence to actual text source;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:44:05 +0200 |
wenzelm |
use existing \<hyphen>;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:29:25 +0200 |
wenzelm |
simplified rail configuration;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 15:35:07 +0200 |
wenzelm |
treat underscore as in IsarRef;
|
file |
diff |
annotate
|
| Sun, 07 Nov 2010 22:26:25 +0100 |
wenzelm |
more literal appearance of antiqopen/antiqclose;
|
file |
diff |
annotate
|
| Sun, 17 Oct 2010 20:25:36 +0100 |
wenzelm |
use continental paragraph style, which works better with mixture of (in)formal text;
|
file |
diff |
annotate
|
| Sat, 09 Oct 2010 19:05:31 +0100 |
wenzelm |
clarified tag markup;
|
file |
diff |
annotate
|
| Fri, 08 Oct 2010 21:11:56 +0100 |
wenzelm |
keep normal size for %mlref tag;
|
file |
diff |
annotate
|
| Fri, 08 Oct 2010 17:41:51 +0100 |
wenzelm |
eliminated fancy \ML logo for the sake of simpler source text (less dependence on LaTeX);
|
file |
diff |
annotate
|
| Fri, 29 Jan 2010 23:57:57 +0100 |
wenzelm |
basic setup for ML examples: tag "mlex";
|
file |
diff |
annotate
|
| Thu, 28 Jan 2010 22:19:27 +0100 |
wenzelm |
make underscores visually appear as such, although TeX-nically they are just rules (e.g. cannot be searched);
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|