summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/lkproof.tlpsrc
blob: 5f7d3f46de832717edb3e93fb32fce82320fca23 (plain)
1
2
3
name lkproof
category Package
shortdesc LK Proof figure macros.