drwxr-xr-x 2 edrx edrx  4096 Jul 12 11:34 ./
drwxr-xr-x 4 edrx edrx  4096 Jul 25 11:01 ../
-rw-r--r-- 1 edrx edrx  1288 Jul 19  2006 Makefile
-rw-r--r-- 1 edrx edrx  1889 Jul 25 11:01 Makefile.html
-rw-r--r-- 1 edrx edrx   362 Jul  9 23:35 README
-rw-r--r-- 1 edrx edrx  1543 Jul 25 11:01 README.html
-rw-r--r-- 1 edrx edrx   512 Jul 12 14:55 demo1.dnt
-rw-r--r-- 1 edrx edrx  1046 Jul 25 11:01 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 Jul 25 11:01 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 Jul 25 11:01 demodefs.tex.html
-rw-r--r-- 1 edrx edrx 16212 Jul 23 20:55 edrx08.sty
-rw-r--r-- 1 edrx edrx 23794 Jul 25 11:01 edrx08.sty.html
-rw-r--r-- 1 edrx edrx  2282 Jun 25  2005 edrxarrows.tex
-rw-r--r-- 1 edrx edrx  3459 Jul 25 11:01 edrxarrows.tex.html
-rw-r--r-- 1 edrx edrx  1011 Jul  7  2005 edrxdednat.tex
-rw-r--r-- 1 edrx edrx  1516 Jul 25 11:01 edrxdednat.tex.html
-rw-r--r-- 1 edrx edrx  5694 Jul  6 13:59 edrxdefs.tex
-rw-r--r-- 1 edrx edrx  6588 Jul 25 11:01 edrxdefs.tex.html
-rw-r--r-- 1 edrx edrx  2267 Jul 16  2006 edrxdiagflags.tex
-rw-r--r-- 1 edrx edrx  3288 Jul 25 11:01 edrxdiagflags.tex.html
-rw-r--r-- 1 edrx edrx  2835 Apr 15 01:15 edrxdnt.tex
-rw-r--r-- 1 edrx edrx  5742 Jul 25 11:01 edrxdnt.tex.html
-rw-r--r-- 1 edrx edrx  2119 Aug 30  2005 edrxglyphs.tex
-rw-r--r-- 1 edrx edrx  3036 Jul 25 11:01 edrxglyphs.tex.html
-rw-r--r-- 1 edrx edrx  2678 Jun 24 22:57 edrxheadfoot.tex
-rw-r--r-- 1 edrx edrx  3864 Jul 25 11:01 edrxheadfoot.tex.html
-rw-r--r-- 1 edrx edrx  1931 Mar 11 09:27 edrxmain.tex
-rw-r--r-- 1 edrx edrx  3654 Jul 25 11:01 edrxmain.tex.html
-rw-r--r-- 1 edrx edrx   797 Apr  7 06:32 edrxmain41.tex
-rw-r--r-- 1 edrx edrx  2275 Jul 25 11:01 edrxmain41.tex.html
-rw-r--r-- 1 edrx edrx  1031 Jun 26 07:57 edrxmain41a.tex
-rw-r--r-- 1 edrx edrx  2627 Jul 25 11:01 edrxmain41a.tex.html
-rw-r--r-- 1 edrx edrx  2062 Mar 25 06:43 edrxslides.tex
-rw-r--r-- 1 edrx edrx  3237 Jul 25 11:01 edrxslides.tex.html
-rw-r--r-- 1 edrx edrx  1015 May 19 04:36 eedemo1.tex
-rw-r--r-- 1 edrx edrx  1719 Jul 25 11:01 eedemo1.tex.html
-rw-r--r-- 1 edrx edrx 10674 Jul 12 14:59 eedemo2.tex
-rw-r--r-- 1 edrx edrx 14156 Jul 25 11:01 eedemo2.tex.html
-rw-r--r-- 1 edrx edrx 14945 Feb 28  2005 eqfibs.metatex
-rw-r--r-- 1 edrx edrx 16926 Jul 25 11:01 eqfibs.metatex.html