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