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

Not much here yet,
and what is here is unreadable, sorry -

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd ~/dednat4/examples/
cp -v /usr/share/texlive/texmf-dist/tex/latex/lkproof/proof.sty .
cp -v /usr/share/texlive/texmf-dist/tex/latex/bussproofs/bussproofs.sty .
cp -v /usr/share/texlive/texmf-dist/tex/generic/barr/diagxy.tex .
wget http://www.paultaylor.eu/proofs/prooftree.sty

# (find-zsh "dmissing prooftree.sty")
# (find-zsh "dmissing bussproof")
# (find-zsh "dmissing diagxy.tex")

How to prepare this directory
  (find-dn4 "Makefile" "texdownloads")
  (find-dn4 "Makefile" "texdownloads" "make S=$S texdownloads")
  (find-dn4sh "make S=$S texdownloads")

  (find-dn4 "Makefile" "demos")
  (find-dn4sh "make ANGG=1 S=$S demo1 demo2")

  (find-dn4file ".files.sh" "cptexinputs")
  (find-sh "pwd; ~/dednat4/.files.sh -n rmtexinputs")
  (find-sh "pwd; ~/dednat4/.files.sh -n cptexinputs")
  (find-sh "pwd; ~/dednat4/.files.sh    rmtexinputs")
  (find-sh "pwd; ~/dednat4/.files.sh    cptexinputs")

How I generate the headers for .tex files
  (find-angg ".emacs.templates" "find-dn4tex-links")

Eduardo Ochs

# Local Variables:
# coding: raw-text-unix
# End: