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