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