2622c0400c
Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.
6 lines
459 B
Text
6 lines
459 B
Text
$NetBSD: distinfo,v 1.1 2019/02/02 02:46:55 markd Exp $
|
|
|
|
SHA1 (tex-semantic-15878/semantic.tar.xz) = 89f6d05e34400c87440def613e8c5728cf50b6b6
|
|
RMD160 (tex-semantic-15878/semantic.tar.xz) = 82a6c77a5f83f4638aef20ce7264490f46e504f3
|
|
SHA512 (tex-semantic-15878/semantic.tar.xz) = 4d5ce32ffba5d0733dcf65495b131b5b3eb5f4ca3f58a5deca6345382db422e1411c48b86578cc2ecc48b38a007e781c11ceccfdb1b6523bbebc04bb32556b71
|
|
Size (tex-semantic-15878/semantic.tar.xz) = 6612 bytes
|