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