Sun, 09 Feb 2014 21:37:27 +0100 restoring ancient string_classes option
haftmann [Sun, 09 Feb 2014 21:37:27 +0100] rev 55374
restoring ancient string_classes option
Sun, 09 Feb 2014 21:37:27 +0100 method names in instance declarations are always unqualified
haftmann [Sun, 09 Feb 2014 21:37:27 +0100] rev 55373
method names in instance declarations are always unqualified
Sun, 09 Feb 2014 21:37:27 +0100 dropped legacy finally
haftmann [Sun, 09 Feb 2014 21:37:27 +0100] rev 55372
dropped legacy finally
Sun, 09 Feb 2014 19:10:12 +0000 tidied messy proofs
paulson <lp15@cam.ac.uk> [Sun, 09 Feb 2014 19:10:12 +0000] rev 55371
tidied messy proofs
Sun, 09 Feb 2014 17:47:23 +0100 minimal document;
wenzelm [Sun, 09 Feb 2014 17:47:23 +0100] rev 55370
minimal document;
Sun, 09 Feb 2014 17:41:17 +0100 removed junk;
wenzelm [Sun, 09 Feb 2014 17:41:17 +0100] rev 55369
removed junk;
Sun, 09 Feb 2014 17:21:03 +0100 merged
wenzelm [Sun, 09 Feb 2014 17:21:03 +0100] rev 55368
merged
Sun, 09 Feb 2014 17:19:22 +0100 check scalable fonts;
wenzelm [Sun, 09 Feb 2014 17:19:22 +0100] rev 55367
check scalable fonts;
Sun, 09 Feb 2014 16:31:24 +0100 do *not* enforce scalable fonts for T1 encoding, instead rely on cm-super fonts, which also provide underscore for non-tt font;
wenzelm [Sun, 09 Feb 2014 16:31:24 +0100] rev 55366
do *not* enforce scalable fonts for T1 encoding, instead rely on cm-super fonts, which also provide underscore for non-tt font;
Sun, 09 Feb 2014 16:17:01 +0100 yet another attempt at actual underscore;
wenzelm [Sun, 09 Feb 2014 16:17:01 +0100] rev 55365
yet another attempt at actual underscore; enforce scalable fonts for T1 encoding;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip