Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.


* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cp -v ~/LATEX/proof.sty  ~/dednat6/tests/
cp -v ~/LATEX/diagxy.tex ~/dednat6/tests/




* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd ~/dednat6/
zip /tmp/dednat6-tests.zip *.lua tests/*.tex