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