drwxr-xr-x  2 edrx edrx   4096 Jun  9  2005 ./
drwxr-xr-x 11 edrx edrx  12288 Nov 21 05:07 ../
-rw-r--r--  1 edrx edrx    485 Feb 22  2020 .favicon.el
-rw-r--r--  1 edrx edrx    992 Nov 21 05:07 .favicon.el.html
-rw-r--r--  1 edrx edrx    276 Feb 22  2020 .favicon.png
-rw-r--r--  1 edrx edrx   1000 Feb 22  2020 Makefile
-rw-r--r--  1 edrx edrx   2061 Nov 21 05:07 Makefile.html
-rw-r--r--  1 edrx edrx   3453 Feb 22  2020 README
-rw-r--r--  1 edrx edrx   5222 Nov 21 05:07 README.html
-rw-r--r--  2 edrx edrx 118594 Jun 13  2005 eev.2.ps.gz
-rw-r--r--  2 edrx edrx 303059 Jun 13  2005 eev.pdf
-rw-r--r--  2 edrx edrx 117242 Jun 13  2005 eev.ps.gz
-rw-r--r--  1 edrx edrx  69392 Feb 22  2020 eev.tex
-rw-r--r--  1 edrx edrx  85304 Nov 21 05:07 eev.tex.html
-rw-r--r--  1 edrx edrx  59633 Feb 22  2020 eev.txt
-rw-r--r--  1 edrx edrx  74849 Nov 21 05:07 eev.txt.html
-rw-r--r--  1 edrx edrx  20031 Feb 22  2020 iskidip.eps
-rw-r--r--  1 edrx edrx  15088 Feb 22  2020 iskidip.svg
-rw-r--r--  1 edrx edrx   4866 Feb 22  2020 ss-f9.png
-rw-r--r--  1 edrx edrx   5276 Feb 22  2020 ss-gdbtall.png
-rw-r--r--  1 edrx edrx   5444 Feb 22  2020 ss-gdbwide.png
-rw-r--r--  1 edrx edrx   5921 Feb 22  2020 ss-lua.png
-rw-r--r--  1 edrx edrx   3706 Feb 22  2020 ss-m-h.png
-rw-r--r--  1 edrx edrx   4626 Feb 22  2020 ss-modular.png