Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.
This is the file `README.windows' of dednat4. Author: Eduardo Ochs <email@example.com> Maintainer: Eduardo Ochs <firstname.lastname@example.org> Version: 2008jun27 This file is in the Public Domain. See: http://angg.twu.net/dednat4.html http://angg.twu.net/dednat4/README.windows.html http://angg.twu.net/dednat4/README.windows (find-dn4 "Makefile") The Makefile will not work on Windows, but there isn't a lot to make... these instructions should probably work, though. I haven't tested them - feedback is welcome. Preparation, a.k.a. Installation ================================= Download a pre-built lua-5.1.3 from: http://luabinaries.luaforge.net/download.html and "install" it - whatever that means in the Windows world. Download dednat4 from: http://angg.twu.net/dednat4/dednat4.tgz and unpack it somewhere; I will refer to the directory where dednat4 was unpacked - i.e., the directory were "dednat4.lua", "edrxlib.lua" and "experimental.lua" are - as $DN4DIR. Download the required extra (La)TeX files, and put them at the same directory where your own LaTeX files - including the ones that you want to process with dednat4 - are. Here are direct links to what you should download: http://www.ctan.org/tex-archive/macros/generic/diagrams/barr/diagxy.tex http://www.ctan.org/tex-archive/macros/latex/contrib/lkproof/proof.sty http://www.math.ucla.edu/~asl/bussproofs.sty http://www.monad.me.uk/proofs/prooftree.sty I will refer to the directory with the TeX files are as $MYTEXDIR. (Should it be $YOURTEXDIR? Or $USERTEXDIR? 8-\) Copy all the files from $DN4DIR/examples/ to $MYTEXDIR too. Not all of them will be needed, but it is easier to copy them all. By the way - if you copy the three ".lua" files in $DN4DIR to $MYTEXDIR then things will be slightly simpler, as you will be able to assume that $DN4DIR and $MYTEXDIR are the same, and omit the "$DN4DIR/"s below. Running it ========== From $MYTEXDIR, run: lua5.1 $DN4DIR/dednat4.lua yourtexfile.tex This will process the trees and diagrams (and the "%L" lines, and the definitions of abbreviations, etc) in "yourtexfile.tex", and will generate a file "yourtexfile.dnt". Note that "dednat4.lua" will try to load other ".lua" files - at least "edrxlib.lua", and it adds the directory of the "dednat4.lua" script to its path when it starts. Testing it ========== Here's a simple way to test if everything works: after doing all the preparations, copy the file "eedemo1.tex" to "ee.tex" (in the $MYTEXDIR directory), and the file "edrxmain4.tex" to "tmp.tex" (also in $MYTEXDIR), and run: lua5.1 $DN4DIR/dednat4.lua tmp.tex this should produce a file "tmp.dnt". Then run LaTeX on "tmp.tex". The resulting "tmp.dvi" or "tmp.pdf" file should have a tree and a diagram.