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