deepsh^B^Bjit: w00t, von 2491 (vm.s) -> 1665 (deepjit.s)
[calu.git] / isasty /
drwxr-xr-x   ..
-rw-r--r-- 318 Makefile
-rwxr-xr-x 2947 gentex.pl
-rw-r--r-- 323 isa.tex
-rwxr-xr-x 625 sample.ptex