8ec50aca25dcf90f74e5d7a2ca3b0d6b3cf69ed7
-rw-r--r-- 108 .gitignore
-rw-r--r-- 507 Makefile
-rw-r--r-- 1353 arith.ptex
-rw-r--r-- 3545 callingconv.tex
-rw-r--r-- 1095 cmp.tex
-rw-r--r-- 1560 common.sty
-rw-r--r-- 3009 conds.tex
-rw-r--r-- 2868 data.ptex
-rw-r--r-- 417 desdis.tex
-rw-r--r-- 684 example.tex
-rw-r--r-- 693 extension.tex
-rw-r--r-- 826 flags.tex
-rw-r--r-- 3446 fnpos.sty
-rwxr-xr-x 4514 gentex.pl
-rw-r--r-- 1035 isa.tex
-rw-r--r-- 2111 logic.ptex
-rw-r--r-- 2117 misc.ptex
drwxr-xr-x - src