drwxr-xr-x  11 edrx edrx   12288 Sep 25  2019 ./
drwxr-xr-x 314 edrx edrx   36864 May  5 00:29 ../
-rw-r--r--   1 edrx edrx     564 Dec 28  2023 .dir-locals.el
-rw-r--r--   1 edrx edrx    1944 May  5 00:29 .dir-locals.el.html
-rw-r--r--   1 edrx edrx     477 Feb 22  2020 .favicon.el
-rw-r--r--   1 edrx edrx     973 May  5 00:29 .favicon.el.html
-rw-r--r--   1 edrx edrx     228 Feb 22  2020 .favicon.png
-rw-r--r--   1 edrx edrx    1854 Feb 22  2020 .files
-rw-r--r--   1 edrx edrx    1353 Feb 22  2020 .files-0.95.2
-rw-r--r--   1 edrx edrx    1853 May  5 00:29 .files-0.95.2.html
-rw-r--r--   1 edrx edrx     395 Feb 22  2020 .files-html
-rw-r--r--   1 edrx edrx     891 May  5 00:29 .files-html.html
-rw-r--r--   1 edrx edrx    2340 May  5 00:29 .files.html
-rw-r--r--   1 edrx edrx      41 Dec 26  2023 .gitignore
-rw-r--r--   1 edrx edrx     535 May  5 00:29 .gitignore.html
-rw-r--r--   1 edrx edrx    1337 Feb 22  2020 BUGS
-rw-r--r--   1 edrx edrx    2033 May  5 00:29 BUGS.html
-rw-r--r--   1 edrx edrx    1387 Feb 22  2020 CHANGELOG
-rw-r--r--   1 edrx edrx    1879 May  5 00:29 CHANGELOG.html
-rw-r--r--   1 edrx edrx   17992 Feb 22  2020 COPYING
-rw-r--r--   1 edrx edrx   18504 May  5 00:29 COPYING.html
-rw-r--r--   1 edrx edrx  168612 Mar 22 20:27 ChangeLog
-rw-r--r--   1 edrx edrx  174492 May  5 00:29 ChangeLog.html
-rw-r--r--   1 edrx edrx    1080 Feb 22  2020 DEDICATION
-rw-r--r--   1 edrx edrx    1370 Feb 22  2020 DEDICATION.c-r
-rw-r--r--   1 edrx edrx    1872 May  5 00:29 DEDICATION.c-r.html
-rw-r--r--   1 edrx edrx    1603 May  5 00:29 DEDICATION.html
-rw-r--r--   1 edrx edrx   17607 Feb 22  2020 EMACS
-rw-r--r--   1 edrx edrx   23191 May  5 00:29 EMACS.html
-rw-r--r--   1 edrx edrx    6478 Feb 22  2020 INSTALL
-rw-r--r--   1 edrx edrx     453 Feb 22  2020 INSTALL-0.95.0
-rw-r--r--   1 edrx edrx    1007 May  5 00:29 INSTALL-0.95.0.html
-rw-r--r--   1 edrx edrx    9428 May  5 00:29 INSTALL.html
-rw-r--r--   1 edrx edrx    2705 Feb 22  2020 Makefile
-rw-r--r--   1 edrx edrx    5299 May  5 00:29 Makefile.html
-rw-r--r--   1 edrx edrx    6379 Feb 22  2020 NEWS
-rw-r--r--   1 edrx edrx    8053 May  5 00:29 NEWS.html
-rw-r--r--   1 edrx edrx    2283 Dec 26  2023 README
-rw-r--r--   1 edrx edrx    1143 Feb 22  2020 README-0.95.0
-rw-r--r--   1 edrx edrx    2013 May  5 00:29 README-0.95.0.html
-rw-r--r--   1 edrx edrx    4330 Feb 22  2020 README-0.95.1
-rw-r--r--   1 edrx edrx    4830 May  5 00:29 README-0.95.1.html
-rw-r--r--   1 edrx edrx    7593 Feb 22  2020 README-0.95.2
-rw-r--r--   1 edrx edrx    9333 May  5 00:29 README-0.95.2.html
-rw-r--r--   1 edrx edrx   22367 Feb 22  2020 README-20070720
-rw-r--r--   1 edrx edrx   27845 May  5 00:29 README-20070720.html
-rw-r--r--   1 edrx edrx    2135 Feb 22  2020 README-old.md
-rw-r--r--   1 edrx edrx    3400 May  5 00:29 README-old.md.html
-rw-r--r--   1 edrx edrx    4041 May  5 00:29 README.html
-rw-r--r--   1 edrx edrx    6008 Jan 27  2023 README.org
-rw-r--r--   1 edrx edrx   11977 May  5 00:29 README.org.html
-rw-r--r--   1 edrx edrx     569 Feb 22  2020 THANKS
-rw-r--r--   1 edrx edrx    1055 May  5 00:29 THANKS.html
-rw-r--r--   1 edrx edrx    5842 Feb 22  2020 TODO
-rw-r--r--   1 edrx edrx    6884 May  5 00:29 TODO.html
-rw-r--r--   1 edrx edrx      58 Mar 21 03:33 VERSION
-rw-r--r--   1 edrx edrx     546 May  5 00:29 VERSION.html
drwxr-xr-x   2 edrx edrx    4096 Mar 23  2005 anim/
drwxr-xr-x   2 edrx edrx    4096 Jun  9  2005 article/
drwxr-xr-x   2 edrx edrx    4096 May  5 00:29 debian/
drwxr-xr-x   2 edrx edrx    4096 Jan  1  2005 doc/
-rw-r--r--   1 edrx edrx   13728 Feb 22  2020 eechannel.el
-rw-r--r--   1 edrx edrx   15699 May  5 00:29 eechannel.el.html
lrwxrwxrwx   1 edrx edrx       4 Aug  4  2013 eeg -> eeg4*
-rw-r--r--   1 edrx edrx   12399 May  5 00:29 eeg.html
-rwxr-xr-x   1 edrx edrx    8008 Feb 22  2020 eeg4*
-rw-r--r--   1 edrx edrx   12401 May  5 00:29 eeg4.html
-rwxr-xr-x   1 edrx edrx    3760 Feb 22  2020 eegchannel*
-rw-r--r--   1 edrx edrx    5252 May  5 00:29 eegchannel.html
-rw-r--r--   1 edrx edrx    5311 Jan 27  2023 eejump.el
-rw-r--r--   1 edrx edrx    8269 May  5 00:29 eejump.el.html
-rw-r--r--   1 edrx edrx   51765 Sep 27  2024 eepitch.el
-rw-r--r--   1 edrx edrx   70240 May  5 00:29 eepitch.el.html
-rw-r--r--   1 edrx edrx   17872 Feb 22  2020 eepitch.readme
-rw-r--r--   1 edrx edrx   33130 May  5 00:29 eepitch.readme.html
-rw-r--r--   1 edrx edrx  104508 Feb 22  2020 eev-2012.el
-rw-r--r--   1 edrx edrx  111086 May  5 00:29 eev-2012.el.html
-rw-r--r--   2 edrx edrx  798720 Sep 25  2019 eev-20190902.tar
-rw-r--r--   1 edrx edrx    4227 Jan 27 03:27 eev-aliases.el
-rw-r--r--   1 edrx edrx    9819 May  5 00:29 eev-aliases.el.html
-rw-r--r--   1 edrx edrx    5533 Feb 22  2020 eev-all.el
-rw-r--r--   1 edrx edrx    7888 May  5 00:29 eev-all.el.html
-rw-r--r--   1 edrx edrx    5974 Jan 27  2023 eev-anchors.el
-rw-r--r--   1 edrx edrx   10066 May  5 00:29 eev-anchors.el.html
-rw-r--r--   1 edrx edrx   24368 Jan 27  2023 eev-audiovideo.el
-rw-r--r--   1 edrx edrx   34302 May  5 00:29 eev-audiovideo.el.html
-rw-r--r--   1 edrx edrx    6893 Mar  5  2024 eev-beginner.el
-rw-r--r--   1 edrx edrx   12196 May  5 00:29 eev-beginner.el.html
-rw-r--r--   1 edrx edrx   84956 Mar  5 06:50 eev-blinks.el
-rw-r--r--   1 edrx edrx  113838 May  5 00:29 eev-blinks.el.html
-rw-r--r--   1 edrx edrx   12370 Jun 25  2022 eev-bounded.el
-rw-r--r--   1 edrx edrx   15051 May  5 00:29 eev-bounded.el.html
-rw-r--r--   1 edrx edrx   15175 Feb 22  2020 eev-browse-url.el
-rw-r--r--   1 edrx edrx   21027 May  5 00:29 eev-browse-url.el.html
-rw-r--r--   1 edrx edrx    7691 Feb 22  2020 eev-brurl.el
-rw-r--r--   1 edrx edrx    9544 May  5 00:29 eev-brurl.el.html
-rw-r--r--   1 edrx edrx   17741 May  7  2024 eev-brxxx.el
-rw-r--r--   1 edrx edrx   24818 May  5 00:29 eev-brxxx.el.html
-rw-r--r--   1 edrx edrx    9724 Mar  8  2024 eev-channels.el
-rw-r--r--   1 edrx edrx   13312 May  5 00:29 eev-channels.el.html
-rw-r--r--   1 edrx edrx   16771 Mar  4 19:13 eev-code.el
-rw-r--r--   1 edrx edrx   25063 May  5 00:29 eev-code.el.html
-rw-r--r--   1 edrx edrx    5661 Jan 27  2023 eev-codings.el
-rw-r--r--   1 edrx edrx    8885 May  5 00:29 eev-codings.el.html
-rw-r--r--   1 edrx edrx   21134 Jun 25  2022 eev-compose-hash.el
-rw-r--r--   1 edrx edrx   27135 May  5 00:29 eev-compose-hash.el.html
-rw-r--r--   1 edrx edrx    5210 Feb 22  2020 eev-compose.el
-rw-r--r--   1 edrx edrx    6906 May  5 00:29 eev-compose.el.html
-rw-r--r--   1 edrx edrx   11116 Oct  2  2024 eev-edit.el
-rw-r--r--   1 edrx edrx   17797 May  5 00:29 eev-edit.el.html
-rw-r--r--   1 edrx edrx   84575 Mar 19 13:38 eev-elinks.el
-rw-r--r--   1 edrx edrx  123507 May  5 00:29 eev-elinks.el.html
-rw-r--r--   1 edrx edrx    4929 Mar  8  2024 eev-env.el
-rw-r--r--   1 edrx edrx    6716 May  5 00:29 eev-env.el.html
-rw-r--r--   1 edrx edrx   12532 Jan 27  2023 eev-eval.el
-rw-r--r--   1 edrx edrx   17115 May  5 00:29 eev-eval.el.html
-rw-r--r--   1 edrx edrx    7307 Jun 25  2022 eev-explain.el
-rw-r--r--   1 edrx edrx    8940 May  5 00:29 eev-explain.el.html
-rw-r--r--   1 edrx edrx    3708 Jan 27  2023 eev-flash.el
-rw-r--r--   1 edrx edrx    5777 May  5 00:29 eev-flash.el.html
-rw-r--r--   1 edrx edrx     198 Feb 22  2020 eev-glyph-icon.png
-rw-r--r--   1 edrx edrx    9538 Feb 22  2020 eev-glyphs.el
-rw-r--r--   1 edrx edrx   14420 May  5 00:29 eev-glyphs.el.html
-rw-r--r--   1 edrx edrx    8234 Mar  6  2024 eev-helpful.el
-rw-r--r--   1 edrx edrx   11697 May  5 00:29 eev-helpful.el.html
-rw-r--r--   1 edrx edrx   27254 Oct  2  2024 eev-hlinks.el
-rw-r--r--   1 edrx edrx   37097 May  5 00:29 eev-hlinks.el.html
-rw-r--r--   1 edrx edrx    6044 Oct  2  2024 eev-htests.el
-rw-r--r--   1 edrx edrx    8129 May  5 00:29 eev-htests.el.html
-rw-r--r--   1 edrx edrx    5195 Oct 14  2024 eev-hydras.el
-rw-r--r--   1 edrx edrx    8535 May  5 00:29 eev-hydras.el.html
-rw-r--r--   1 edrx edrx     249 Feb 22  2020 eev-icon.png
-rw-r--r--   1 edrx edrx   46334 Feb 22  2020 eev-insert.el
-rw-r--r--   1 edrx edrx   51438 May  5 00:29 eev-insert.el.html
-rw-r--r--   1 edrx edrx  650183 Mar 22 20:28 eev-intro.el
-rw-r--r--   1 edrx edrx  983758 May  5 00:29 eev-intro.el.html
-rw-r--r--   1 edrx edrx   11509 Oct  2  2024 eev-kl-here.el
-rw-r--r--   1 edrx edrx   17160 May  5 00:29 eev-kl-here.el.html
-rw-r--r--   1 edrx edrx   19092 Jan  5  2024 eev-kla.el
-rw-r--r--   1 edrx edrx   29232 May  5 00:29 eev-kla.el.html
-rw-r--r--   1 edrx edrx   18792 Sep 24  2020 eev-langs.el
-rw-r--r--   1 edrx edrx   26518 May  5 00:29 eev-langs.el.html
-rw-r--r--   1 edrx edrx   17764 Jul 31  2024 eev-lean4.el
-rw-r--r--   1 edrx edrx   29459 May  5 00:29 eev-lean4.el.html
-rw-r--r--   1 edrx edrx    9328 Jun 19  2024 eev-load.el
-rw-r--r--   1 edrx edrx   21943 May  5 00:29 eev-load.el.html
-rw-r--r--   1 edrx edrx   14590 Feb 22  2020 eev-math-glyphs.el
-rw-r--r--   1 edrx edrx   16686 May  5 00:29 eev-math-glyphs.el.html
-rw-r--r--   1 edrx edrx   23570 Feb 22  2020 eev-mini-steps.el
-rw-r--r--   1 edrx edrx   27067 May  5 00:29 eev-mini-steps.el.html
-rw-r--r--   1 edrx edrx   24326 Feb 22  2020 eev-mini.el
-rw-r--r--   1 edrx edrx   25494 May  5 00:29 eev-mini.el.html
-rw-r--r--   1 edrx edrx   14557 Oct 13  2024 eev-mode.el
-rw-r--r--   1 edrx edrx   22233 May  5 00:29 eev-mode.el.html
-rw-r--r--   1 edrx edrx    6760 Dec 22  2023 eev-multiwindow.el
-rw-r--r--   1 edrx edrx    9207 May  5 00:29 eev-multiwindow.el.html
-rw-r--r--   1 edrx edrx   18622 Jun 25  2022 eev-on-windows.el
-rw-r--r--   1 edrx edrx   34803 May  5 00:29 eev-on-windows.el.html
-rw-r--r--   1 edrx edrx   13265 Feb 22  2020 eev-pdflike-old.el
-rw-r--r--   1 edrx edrx   15173 May  5 00:29 eev-pdflike-old.el.html
-rw-r--r--   1 edrx edrx   47334 Sep  8  2024 eev-pdflike.el
-rw-r--r--   1 edrx edrx   67108 May  5 00:29 eev-pdflike.el.html
-rw-r--r--   1 edrx edrx    7704 Feb 22  2020 eev-pdfpages.el
-rw-r--r--   1 edrx edrx    8771 May  5 00:29 eev-pdfpages.el.html
-rw-r--r--   1 edrx edrx     365 Jan  2  2021 eev-pkg.el
-rw-r--r--   1 edrx edrx     898 May  5 00:29 eev-pkg.el.html
-rw-r--r--   1 edrx edrx   28207 Apr 25 20:02 eev-plinks.el
-rw-r--r--   1 edrx edrx   42521 May  5 00:29 eev-plinks.el.html
-rw-r--r--   1 edrx edrx   10505 Mar  8  2024 eev-prepared.el
-rw-r--r--   1 edrx edrx   12637 May  5 00:29 eev-prepared.el.html
-rw-r--r--   1 edrx edrx    3940 Mar  9  2024 eev-qrl.el
-rw-r--r--   1 edrx edrx    5638 May  5 00:29 eev-qrl.el.html
-rw-r--r--   1 edrx edrx   19992 Feb 27  2024 eev-rcirc.el
-rw-r--r--   1 edrx edrx   25101 May  5 00:29 eev-rcirc.el.html
-rwxr-xr-x   1 edrx edrx   22621 Feb 22  2020 eev-rctool*
-rw-r--r--   1 edrx edrx   30545 May  5 00:29 eev-rctool.html
-rw-r--r--   1 edrx edrx    4772 Jun 25  2022 eev-readme.el
-rw-r--r--   1 edrx edrx    6962 May  5 00:29 eev-readme.el.html
-rw-r--r--   1 edrx edrx   22263 Nov 23 14:18 eev-rstdoc.el
-rw-r--r--   1 edrx edrx   33320 May  5 00:29 eev-rstdoc.el.html
-rw-r--r--   1 edrx edrx   11393 Feb 22  2020 eev-sshot.el
-rw-r--r--   1 edrx edrx   13371 May  5 00:29 eev-sshot.el.html
-rw-r--r--   1 edrx edrx   19690 Feb 22  2020 eev-steps.el
-rw-r--r--   1 edrx edrx   21939 May  5 00:29 eev-steps.el.html
-rw-r--r--   1 edrx edrx   15514 Sep 26  2024 eev-strange-functions.el
-rw-r--r--   1 edrx edrx   23490 May  5 00:29 eev-strange-functions.el.html
-rw-r--r--   1 edrx edrx   86622 Feb 22  2020 eev-template-old.el
-rw-r--r--   1 edrx edrx  100539 May  5 00:29 eev-template-old.el.html
-rw-r--r--   1 edrx edrx    9613 Jan 12  2024 eev-template0.el
-rw-r--r--   1 edrx edrx   13242 May  5 00:29 eev-template0.el.html
-rw-r--r--   1 edrx edrx   11972 Oct  5  2024 eev-testblocks.el
-rw-r--r--   1 edrx edrx   26101 May  5 00:29 eev-testblocks.el.html
-rw-r--r--   1 edrx edrx   17510 Mar  9  2024 eev-tla.el
-rw-r--r--   1 edrx edrx   25808 May  5 00:29 eev-tla.el.html
-rw-r--r--   1 edrx edrx  223573 Apr 25 20:08 eev-tlinks.el
-rw-r--r--   1 edrx edrx  371839 May  5 00:29 eev-tlinks.el.html
-rw-r--r--   1 edrx edrx   51843 Mar 21 03:48 eev-videolinks.el
-rw-r--r--   1 edrx edrx  103092 May  5 00:29 eev-videolinks.el.html
-rw-r--r--   1 edrx edrx   35412 May 17  2023 eev-wconfig.el
-rw-r--r--   1 edrx edrx   55393 May  5 00:29 eev-wconfig.el.html
-rw-r--r--   1 edrx edrx   24120 Oct 12  2024 eev-wrap.el
-rw-r--r--   1 edrx edrx   37476 May  5 00:29 eev-wrap.el.html
-rw-r--r--   1 edrx edrx    1676 Feb 17 02:59 eev.el
-rw-r--r--   1 edrx edrx    2433 May  5 00:29 eev.el.html
-rw-r--r--   1 edrx edrx    4957 Jun 25  2022 eev2-all.el
-rw-r--r--   1 edrx edrx   11919 May  5 00:29 eev2-all.el.html
-rw-r--r--   2 edrx edrx 1310720 Dec  6  2021 eev2.tar
-rw-r--r--   2 edrx edrx  322371 Dec  6  2021 eev2.tgz
drwxr-xr-x   2 edrx edrx    4096 Apr  2  2019 elpa/
drwxr-xr-x   2 edrx edrx    4096 May  5 00:29 examples/
-rw-r--r--   1 edrx edrx     979 Feb 22  2020 find-eev-update-links
-rw-r--r--   1 edrx edrx    2376 May  5 00:29 find-eev-update-links.html
-rw-r--r--   1 edrx edrx    1549 Feb 22  2020 htmlize-all.el
-rw-r--r--   1 edrx edrx    3342 May  5 00:29 htmlize-all.el.html
-rw-r--r--   1 edrx edrx   28666 Feb 22  2020 htmlize-eev.el
-rw-r--r--   1 edrx edrx   31967 May  5 00:29 htmlize-eev.el.html
drwxr-xr-x   3 edrx edrx    4096 May  5 00:29 rcfiles/
drwxr-xr-x   2 edrx edrx    4096 Aug 22  2005 slides/
drwxr-xr-x   2 edrx edrx    4096 May  5 00:29 tmp/