summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/logicproof.tlpsrc
AgeCommit message (Collapse)Author
2014-03-21logicproof (21mar14)Karl Berry
git-svn-id: svn://tug.org/texlive/trunk@33254 c570f23f-e606-0410-a88d-b1316a301751