| Name : texlive-lkproof
| |
| Version : 3.1
| Vendor : Mandriva
|
| Release : 2
| Date : 2012-01-04 10:36:40
|
| Group : Publishing
| Source RPM : texlive-lkproof-3.1-2.src.rpm
|
| Size : 0.26 MB
| |
| Packager : Paulo Andrade < pcpa_mandriva_com_br>
| |
| Summary : LK Proof figure macros
|
Description :
The package defines a pair of commands \\infer and \\deduce, that
are used in constructing LK proof diagrams.
|
RPM found in directory: /vol/rzm6/linux-mandriva/devel/cooker/i586/media/main/release |
