2018-01-30 wenzelm tuned data structure and operations;
2018-01-30 wenzelm more operations;
2018-01-30 wenzelm prefer specific tokens_subtract: subtle change of comparison via tokens_match;
2018-01-30 wenzelm tuned type: absorb NONE: token option as token_none: token;
2018-01-30 wenzelm tuned;
2018-01-30 wenzelm clarified types and operations: potentially more efficient add_prods;
2018-01-30 wenzelm clarified modules;
2018-01-30 wenzelm tuned: more explicit types;
2018-01-29 wenzelm tuned data structure: potentially more efficient add_prods;
2018-01-29 wenzelm clarified operations;
2018-01-29 wenzelm merged
2018-01-29 wenzelm expand definitions of \DeclareOldFontCommand in traditional article.cls, e.g. KOMA-Script no longer provides these;
2018-01-29 haftmann irrelevant reference to doubtful theory Code_Char
2018-01-28 haftmann avoid concrete (anti)mono in theorem names since it could be the other way round
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 tip