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