drwxr-xr-x 2 edrx edrx  4096 Nov  8  2008 ./
drwxr-xr-x 4 edrx edrx  4096 Nov 19 15:01 ../
-rw-r--r-- 1 edrx edrx  1351 May 21 10:34 Makefile
-rw-r--r-- 1 edrx edrx  2056 Nov 19 15:00 Makefile.html
-rw-r--r-- 1 edrx edrx   362 Apr 23  2009 README
-rw-r--r-- 1 edrx edrx  1543 Nov 19 15:00 README.html
-rw-r--r-- 1 edrx edrx   512 Apr 23  2009 demo1.dnt
-rw-r--r-- 1 edrx edrx  1046 Nov 19 15:00 demo1.dnt.html
-rw-r--r-- 2 edrx edrx  1436 Jul 12  2008 demo1.dvi
-rw-r--r-- 2 edrx edrx 13610 Jul 12  2008 demo1.pdf
-rw-r--r-- 1 edrx edrx  6885 Apr 23  2009 demo2.dnt
-rw-r--r-- 1 edrx edrx  8790 Nov 19 15:00 demo2.dnt.html
-rw-r--r-- 2 edrx edrx 22520 Jul 12  2008 demo2.dvi
-rw-r--r-- 2 edrx edrx 53190 Jul 12  2008 demo2.pdf
-rw-r--r-- 1 edrx edrx   921 Apr 23  2009 demodefs.tex
-rw-r--r-- 1 edrx edrx  1351 Nov 19 15:00 demodefs.tex.html
-rw-r--r-- 1 edrx edrx 18691 Nov  4 07:45 edrx08.sty
-rw-r--r-- 1 edrx edrx 26613 Nov 19 15:00 edrx08.sty.html
-rw-r--r-- 1 edrx edrx  2282 Apr 23  2009 edrxarrows.tex
-rw-r--r-- 1 edrx edrx  3459 Nov 19 15:00 edrxarrows.tex.html
-rw-r--r-- 1 edrx edrx  1011 Apr 23  2009 edrxdednat.tex
-rw-r--r-- 1 edrx edrx  1516 Nov 19 15:00 edrxdednat.tex.html
-rw-r--r-- 1 edrx edrx  5694 Apr 23  2009 edrxdefs.tex
-rw-r--r-- 1 edrx edrx  6588 Nov 19 15:00 edrxdefs.tex.html
-rw-r--r-- 1 edrx edrx  2267 Apr 23  2009 edrxdiagflags.tex
-rw-r--r-- 1 edrx edrx  3288 Nov 19 15:00 edrxdiagflags.tex.html
-rw-r--r-- 1 edrx edrx  2835 Apr 23  2009 edrxdnt.tex
-rw-r--r-- 1 edrx edrx  5742 Nov 19 15:00 edrxdnt.tex.html
-rw-r--r-- 1 edrx edrx  2119 Apr 23  2009 edrxglyphs.tex
-rw-r--r-- 1 edrx edrx  3036 Nov 19 15:00 edrxglyphs.tex.html
-rw-r--r-- 1 edrx edrx  2755 Apr 23  2009 edrxheadfoot.tex
-rw-r--r-- 1 edrx edrx  4039 Nov 19 15:00 edrxheadfoot.tex.html
-rw-r--r-- 1 edrx edrx  3621 Sep 16 06:46 edrxmain.tex
-rw-r--r-- 1 edrx edrx  6093 Nov 19 15:00 edrxmain.tex.html
-rw-r--r-- 1 edrx edrx   797 Apr 23  2009 edrxmain41.tex
-rw-r--r-- 1 edrx edrx  2275 Nov 19 15:00 edrxmain41.tex.html
-rw-r--r-- 1 edrx edrx  1031 Apr 23  2009 edrxmain41a.tex
-rw-r--r-- 1 edrx edrx  2627 Nov 19 15:00 edrxmain41a.tex.html
-rw-r--r-- 1 edrx edrx  2062 Apr 23  2009 edrxslides.tex
-rw-r--r-- 1 edrx edrx  3237 Nov 19 15:00 edrxslides.tex.html
-rw-r--r-- 1 edrx edrx  1015 Apr 23  2009 eedemo1.tex
-rw-r--r-- 1 edrx edrx  1719 Nov 19 15:00 eedemo1.tex.html
-rw-r--r-- 1 edrx edrx 10674 Apr 23  2009 eedemo2.tex
-rw-r--r-- 1 edrx edrx 14156 Nov 19 15:00 eedemo2.tex.html
-rw-r--r-- 1 edrx edrx 14945 Apr 23  2009 eqfibs.metatex
-rw-r--r-- 1 edrx edrx 16926 Nov 19 15:00 eqfibs.metatex.html