drwxr-xr-x 2 edrx edrx  4096 Nov  8 07:32 ./
drwxr-xr-x 4 edrx edrx  4096 Nov 17 21:37 ../
-rw-r--r-- 1 edrx edrx  1288 Jul 19  2006 Makefile
-rw-r--r-- 1 edrx edrx  1889 Nov 17 21:36 Makefile.html
-rw-r--r-- 1 edrx edrx   362 Jul  9 23:35 README
-rw-r--r-- 1 edrx edrx  1543 Nov 17 21:36 README.html
-rw-r--r-- 1 edrx edrx   512 Jul 12 14:55 demo1.dnt
-rw-r--r-- 1 edrx edrx  1046 Nov 17 21:36 demo1.dnt.html
-rw-r--r-- 2 edrx edrx  1436 Jul 12 16:55 demo1.dvi
-rw-r--r-- 2 edrx edrx 13610 Jul 12 16:55 demo1.pdf
-rw-r--r-- 1 edrx edrx  6885 Jul 12 14:55 demo2.dnt
-rw-r--r-- 1 edrx edrx  8790 Nov 17 21:36 demo2.dnt.html
-rw-r--r-- 2 edrx edrx 22520 Jul 12 16:55 demo2.dvi
-rw-r--r-- 2 edrx edrx 53190 Jul 12 16:55 demo2.pdf
-rw-r--r-- 1 edrx edrx   921 Nov  2  2005 demodefs.tex
-rw-r--r-- 1 edrx edrx  1351 Nov 17 21:36 demodefs.tex.html
-rw-r--r-- 1 edrx edrx 18175 Nov 14 15:05 edrx08.sty
-rw-r--r-- 1 edrx edrx 25871 Nov 17 21:36 edrx08.sty.html
-rw-r--r-- 1 edrx edrx  2282 Jun 25  2005 edrxarrows.tex
-rw-r--r-- 1 edrx edrx  3459 Nov 17 21:36 edrxarrows.tex.html
-rw-r--r-- 1 edrx edrx  1011 Jul  7  2005 edrxdednat.tex
-rw-r--r-- 1 edrx edrx  1516 Nov 17 21:36 edrxdednat.tex.html
-rw-r--r-- 1 edrx edrx  5694 Jul  6 13:59 edrxdefs.tex
-rw-r--r-- 1 edrx edrx  6588 Nov 17 21:36 edrxdefs.tex.html
-rw-r--r-- 1 edrx edrx  2267 Jul 16  2006 edrxdiagflags.tex
-rw-r--r-- 1 edrx edrx  3288 Nov 17 21:36 edrxdiagflags.tex.html
-rw-r--r-- 1 edrx edrx  2835 Apr 15  2008 edrxdnt.tex
-rw-r--r-- 1 edrx edrx  5742 Nov 17 21:36 edrxdnt.tex.html
-rw-r--r-- 1 edrx edrx  2119 Aug 30  2005 edrxglyphs.tex
-rw-r--r-- 1 edrx edrx  3036 Nov 17 21:36 edrxglyphs.tex.html
-rw-r--r-- 1 edrx edrx  2755 Oct  9 14:45 edrxheadfoot.tex
-rw-r--r-- 1 edrx edrx  4039 Nov 17 21:36 edrxheadfoot.tex.html
-rw-r--r-- 1 edrx edrx  1931 Mar 11  2008 edrxmain.tex
-rw-r--r-- 1 edrx edrx  3654 Nov 17 21:36 edrxmain.tex.html
-rw-r--r-- 1 edrx edrx   797 Apr  7  2008 edrxmain41.tex
-rw-r--r-- 1 edrx edrx  2275 Nov 17 21:36 edrxmain41.tex.html
-rw-r--r-- 1 edrx edrx  1031 Jun 26 07:57 edrxmain41a.tex
-rw-r--r-- 1 edrx edrx  2627 Nov 17 21:36 edrxmain41a.tex.html
-rw-r--r-- 1 edrx edrx  2062 Mar 25  2008 edrxslides.tex
-rw-r--r-- 1 edrx edrx  3237 Nov 17 21:36 edrxslides.tex.html
-rw-r--r-- 1 edrx edrx  1015 May 19  2008 eedemo1.tex
-rw-r--r-- 1 edrx edrx  1719 Nov 17 21:36 eedemo1.tex.html
-rw-r--r-- 1 edrx edrx 10674 Jul 12 14:59 eedemo2.tex
-rw-r--r-- 1 edrx edrx 14156 Nov 17 21:36 eedemo2.tex.html
-rw-r--r-- 1 edrx edrx 14945 Feb 28  2005 eqfibs.metatex
-rw-r--r-- 1 edrx edrx 16926 Nov 17 21:36 eqfibs.metatex.html