3 commits

Author	SHA1	Message	Date
markd	95841315da	tex-*: add TEXLIVE_UNVERSIONED=yes	2019-12-06 20:17:03 +00:00
markd	ce6faa4ad1	Add LICENSE	2016-01-27 10:13:20 +00:00
markd	2832036fe9	Initial import tex-lkproof{,-doc}-3.1 ... The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.	2015-04-21 22:16:33 +00:00