drwxr-xr-x 2 edrx edrx 4096 Nov 8 2008 ./ drwxr-xr-x 5 edrx edrx 4096 Jul 9 01:49 ../ -rw-r--r-- 1 edrx edrx 1351 Feb 21 2020 Makefile -rw-r--r-- 1 edrx edrx 2191 Jul 9 01:47 Makefile.html -rw-r--r-- 1 edrx edrx 362 Feb 21 2020 README -rw-r--r-- 1 edrx edrx 1823 Jul 9 01:47 README.html -rw-r--r-- 1 edrx edrx 512 Feb 21 2020 demo1.dnt -rw-r--r-- 1 edrx edrx 1200 Jul 9 01:47 demo1.dnt.html -rw-r--r-- 2 edrx www-data 1436 Jul 12 2008 demo1.dvi -rw-r--r-- 2 edrx www-data 13610 Jul 12 2008 demo1.pdf -rw-r--r-- 1 edrx edrx 6885 Feb 21 2020 demo2.dnt -rw-r--r-- 1 edrx edrx 8941 Jul 9 01:47 demo2.dnt.html -rw-r--r-- 2 edrx www-data 22520 Jul 12 2008 demo2.dvi -rw-r--r-- 2 edrx www-data 53190 Jul 12 2008 demo2.pdf -rw-r--r-- 1 edrx edrx 921 Feb 21 2020 demodefs.tex -rw-r--r-- 1 edrx edrx 1457 Jul 9 01:47 demodefs.tex.html -rw-r--r-- 1 edrx edrx 20324 Feb 21 2020 edrx08.sty -rw-r--r-- 1 edrx edrx 30018 Jul 9 01:47 edrx08.sty.html -rw-r--r-- 1 edrx edrx 2282 Feb 21 2020 edrxarrows.tex -rw-r--r-- 1 edrx edrx 3501 Jul 9 01:47 edrxarrows.tex.html -rw-r--r-- 1 edrx edrx 1011 Feb 21 2020 edrxdednat.tex -rw-r--r-- 1 edrx edrx 1521 Jul 9 01:47 edrxdednat.tex.html -rw-r--r-- 1 edrx edrx 6978 Feb 21 2020 edrxdefs.tex -rw-r--r-- 1 edrx edrx 8251 Jul 9 01:47 edrxdefs.tex.html -rw-r--r-- 1 edrx edrx 2267 Feb 21 2020 edrxdiagflags.tex -rw-r--r-- 1 edrx edrx 2884 Jul 9 01:47 edrxdiagflags.tex.html -rw-r--r-- 1 edrx edrx 3421 Feb 21 2020 edrxdnt.tex -rw-r--r-- 1 edrx edrx 6524 Jul 9 01:47 edrxdnt.tex.html -rw-r--r-- 1 edrx edrx 2119 Feb 21 2020 edrxglyphs.tex -rw-r--r-- 1 edrx edrx 3036 Jul 9 01:47 edrxglyphs.tex.html -rw-r--r-- 1 edrx edrx 2755 Feb 21 2020 edrxheadfoot.tex -rw-r--r-- 1 edrx edrx 4048 Jul 9 01:47 edrxheadfoot.tex.html -rw-r--r-- 1 edrx edrx 3621 Feb 21 2020 edrxmain.tex -rw-r--r-- 1 edrx edrx 4753 Jul 9 01:47 edrxmain.tex.html -rw-r--r-- 1 edrx edrx 797 Feb 21 2020 edrxmain41.tex -rw-r--r-- 1 edrx edrx 2647 Jul 9 01:47 edrxmain41.tex.html -rw-r--r-- 1 edrx edrx 1090 Feb 21 2020 edrxmain41a.tex -rw-r--r-- 1 edrx edrx 3213 Jul 9 01:47 edrxmain41a.tex.html -rw-r--r-- 1 edrx edrx 2062 Feb 21 2020 edrxslides.tex -rw-r--r-- 1 edrx edrx 2948 Jul 9 01:47 edrxslides.tex.html -rw-r--r-- 1 edrx edrx 1015 Feb 21 2020 eedemo1.tex -rw-r--r-- 1 edrx edrx 1854 Jul 9 01:47 eedemo1.tex.html -rw-r--r-- 1 edrx edrx 10674 Feb 21 2020 eedemo2.tex -rw-r--r-- 1 edrx edrx 14332 Jul 9 01:47 eedemo2.tex.html -rw-r--r-- 1 edrx edrx 14945 Feb 21 2020 eqfibs.metatex -rw-r--r-- 1 edrx edrx 16998 Jul 9 01:47 eqfibs.metatex.html