summaryrefslogtreecommitdiff
path: root/Master/texmf-dist
AgeCommit message (Expand)Author
2017-07-14autoupdate via tlmgr generate _updmapKarl Berry
2017-07-14autoupdateKarl Berry
2017-07-13microtype (8jul17)Karl Berry
2017-07-13bxjscls (8jul17)Karl Berry
2017-07-13struktex (9jul17)Karl Berry
2017-07-13marginfit (10jul17)Karl Berry
2017-07-13fvextra (10jul17)Karl Berry
2017-07-13fithesis (10jul17)Karl Berry
2017-07-13elzcards (10jul17)Karl Berry
2017-07-13algolrevived (10jul17)Karl Berry
2017-07-13probsoln (10jul17)Karl Berry
2017-07-13babel-french (11jul17)Karl Berry
2017-07-13lwarp (11jul17)Karl Berry
2017-07-13pxufont (8jul17)Karl Berry
2017-07-08autoupdateKarl Berry
2017-07-07reledmac (7jul17)Karl Berry
2017-07-07gotoh (7jul17)Karl Berry
2017-07-07autoupdateKarl Berry
2017-07-06tikzcodeblocks (6jul17)Karl Berry
2017-07-06zebra-goodies (6jul17)Karl Berry
2017-07-06tcolorbox (6jul17)Karl Berry
2017-07-06esami (6jul17)Karl Berry
2017-07-06embrac (6jul17)Karl Berry
2017-07-06pxbase (6jul17)Karl Berry
2017-07-05arabluatex (5jul17)Karl Berry
2017-07-05autoupdateKarl Berry
2017-07-04texdirflatten (4jul17)Karl Berry
2017-07-04biblatex-gb7714-2015 (4jul17)Karl Berry
2017-07-04bangorexam (4jul17)Karl Berry
2017-07-04autoupdateKarl Berry
2017-07-03combofont (3jul17)Karl Berry
2017-07-03acmart (3jul17)Karl Berry
2017-07-03autoupdateKarl Berry
2017-07-02pst-geometrictools (2jul17)Karl Berry
2017-07-02l3build (2jul17)Karl Berry
2017-07-02dozenal (2jul17)Karl Berry
2017-07-02autoupdateKarl Berry
2017-07-01bibleref (1jul17)Karl Berry
2017-07-01xcharter (1jul17)Karl Berry
2017-07-01rm rputover, replaced by pst-rputoverKarl Berry
2017-06-30fancyhdr (30jun17)Karl Berry
2017-06-30pxchfon (30jun17)Karl Berry
2017-06-30autoupdateKarl Berry
2017-06-29latexindent (29jun17)Karl Berry
2017-06-29pxufont (29jun17)Karl Berry
2017-06-29pst-rputover (29jun17)Karl Berry
2017-06-29shobhika (29jun17)Karl Berry
2017-06-29babel (29jun17)Karl Berry
2017-06-29Tlaunch: new remember option and minor changesSiep Kroonenberg
2017-06-29autoupdateKarl Berry