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