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