| Mon, 10 Feb 2014 21:51:15 +0100 |
nipkow |
merged
|
changeset |
files
|
| Mon, 10 Feb 2014 21:50:50 +0100 |
nipkow |
improved lin.arith. for terms involving division
|
changeset |
files
|
| Sun, 09 Feb 2014 21:37:27 +0100 |
haftmann |
restoring ancient string_classes option
|
changeset |
files
|
| Sun, 09 Feb 2014 21:37:27 +0100 |
haftmann |
method names in instance declarations are always unqualified
|
changeset |
files
|
| Sun, 09 Feb 2014 21:37:27 +0100 |
haftmann |
dropped legacy finally
|
changeset |
files
|
| Sun, 09 Feb 2014 19:10:12 +0000 |
paulson |
tidied messy proofs
|
changeset |
files
|
| Sun, 09 Feb 2014 17:47:23 +0100 |
wenzelm |
minimal document;
|
changeset |
files
|
| Sun, 09 Feb 2014 17:41:17 +0100 |
wenzelm |
removed junk;
|
changeset |
files
|
| Sun, 09 Feb 2014 17:21:03 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 09 Feb 2014 17:19:22 +0100 |
wenzelm |
check scalable fonts;
|
changeset |
files
|
| Sun, 09 Feb 2014 16:31:24 +0100 |
wenzelm |
do *not* enforce scalable fonts for T1 encoding, instead rely on cm-super fonts, which also provide underscore for non-tt font;
|
changeset |
files
|
| Sun, 09 Feb 2014 16:17:01 +0100 |
wenzelm |
yet another attempt at actual underscore;
|
changeset |
files
|
| Sun, 09 Feb 2014 15:26:33 +0100 |
haftmann |
build up preprocessing context only once
|
changeset |
files
|
| Sun, 09 Feb 2014 15:26:33 +0100 |
haftmann |
tuned
|
changeset |
files
|