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