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