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