drwxr-xr-x 2 edrx edrx  4096 Nov  8  2008 ./
drwxr-xr-x 5 edrx edrx  4096 Oct 12 22:11 ../
-rw-r--r-- 1 edrx edrx  1351 Feb 22  2020 Makefile
-rw-r--r-- 1 edrx edrx  2191 Oct 12 22:10 Makefile.html
-rw-r--r-- 1 edrx edrx   362 Feb 22  2020 README
-rw-r--r-- 1 edrx edrx  1823 Oct 12 22:10 README.html
-rw-r--r-- 1 edrx edrx   512 Feb 22  2020 demo1.dnt
-rw-r--r-- 1 edrx edrx  1200 Oct 12 22:10 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 Feb 22  2020 demo2.dnt
-rw-r--r-- 1 edrx edrx  8941 Oct 12 22:10 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 Feb 22  2020 demodefs.tex
-rw-r--r-- 1 edrx edrx  1457 Oct 12 22:10 demodefs.tex.html
-rw-r--r-- 1 edrx edrx 20324 Feb 22  2020 edrx08.sty
-rw-r--r-- 1 edrx edrx 30018 Oct 12 22:10 edrx08.sty.html
-rw-r--r-- 1 edrx edrx  2282 Feb 22  2020 edrxarrows.tex
-rw-r--r-- 1 edrx edrx  3501 Oct 12 22:10 edrxarrows.tex.html
-rw-r--r-- 1 edrx edrx  1011 Feb 22  2020 edrxdednat.tex
-rw-r--r-- 1 edrx edrx  1521 Oct 12 22:10 edrxdednat.tex.html
-rw-r--r-- 1 edrx edrx  6978 Feb 22  2020 edrxdefs.tex
-rw-r--r-- 1 edrx edrx  8251 Oct 12 22:10 edrxdefs.tex.html
-rw-r--r-- 1 edrx edrx  2267 Feb 22  2020 edrxdiagflags.tex
-rw-r--r-- 1 edrx edrx  2884 Oct 12 22:10 edrxdiagflags.tex.html
-rw-r--r-- 1 edrx edrx  3421 Feb 22  2020 edrxdnt.tex
-rw-r--r-- 1 edrx edrx  6524 Oct 12 22:10 edrxdnt.tex.html
-rw-r--r-- 1 edrx edrx  2119 Feb 22  2020 edrxglyphs.tex
-rw-r--r-- 1 edrx edrx  3036 Oct 12 22:10 edrxglyphs.tex.html
-rw-r--r-- 1 edrx edrx  2755 Feb 22  2020 edrxheadfoot.tex
-rw-r--r-- 1 edrx edrx  4048 Oct 12 22:10 edrxheadfoot.tex.html
-rw-r--r-- 1 edrx edrx  3621 Feb 22  2020 edrxmain.tex
-rw-r--r-- 1 edrx edrx  4753 Oct 12 22:10 edrxmain.tex.html
-rw-r--r-- 1 edrx edrx   797 Feb 22  2020 edrxmain41.tex
-rw-r--r-- 1 edrx edrx  2647 Oct 12 22:10 edrxmain41.tex.html
-rw-r--r-- 1 edrx edrx  1090 Feb 22  2020 edrxmain41a.tex
-rw-r--r-- 1 edrx edrx  3213 Oct 12 22:10 edrxmain41a.tex.html
-rw-r--r-- 1 edrx edrx  2062 Feb 22  2020 edrxslides.tex
-rw-r--r-- 1 edrx edrx  2948 Oct 12 22:10 edrxslides.tex.html
-rw-r--r-- 1 edrx edrx  1015 Feb 22  2020 eedemo1.tex
-rw-r--r-- 1 edrx edrx  1854 Oct 12 22:10 eedemo1.tex.html
-rw-r--r-- 1 edrx edrx 10674 Feb 22  2020 eedemo2.tex
-rw-r--r-- 1 edrx edrx 14332 Oct 12 22:10 eedemo2.tex.html
-rw-r--r-- 1 edrx edrx 14945 Feb 22  2020 eqfibs.metatex
-rw-r--r-- 1 edrx edrx 16998 Oct 12 22:10 eqfibs.metatex.html