diff options
| author | Karl Berry <karl@freefriends.org> | 2019-05-22 22:33:28 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-05-22 22:33:28 +0000 |
| commit | 6b93973df611bbdfed5be166cfcbb6ba8738c986 (patch) | |
| tree | 588e75ce9ff3a3a8930274ceffdf3221969fcece /Master/tlpkg | |
| parent | f929c20d33a17779b7d3f747774edd4082bdac44 (diff) | |
proof,bussproofs support, tex4ht r568-9
git-svn-id: svn://tug.org/texlive/trunk@51195 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
0 files changed, 0 insertions, 0 deletions