drwxr-xr-x  11 edrx edrx   12288 Sep 25  2019 ./
drwxr-xr-x 320 edrx edrx   40960 Oct  3 15:43 ../
-rw-r--r--   1 edrx edrx     564 Dec 28  2023 .dir-locals.el
-rw-r--r--   1 edrx edrx    1944 Oct  3 15:42 .dir-locals.el.html
-rw-r--r--   1 edrx edrx     477 Feb 22  2020 .favicon.el
-rw-r--r--   1 edrx edrx     973 Oct  3 15:42 .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 Oct  3 15:42 .files-0.95.2.html
-rw-r--r--   1 edrx edrx     395 Feb 22  2020 .files-html
-rw-r--r--   1 edrx edrx     891 Oct  3 15:43 .files-html.html
-rw-r--r--   1 edrx edrx    2340 Oct  3 15:42 .files.html
-rw-r--r--   1 edrx edrx      41 Dec 26  2023 .gitignore
-rw-r--r--   1 edrx edrx     535 Oct  3 15:43 .gitignore.html
-rw-r--r--   1 edrx edrx    1337 Feb 22  2020 BUGS
-rw-r--r--   1 edrx edrx    2033 Oct  3 15:43 BUGS.html
-rw-r--r--   1 edrx edrx    1387 Feb 22  2020 CHANGELOG
-rw-r--r--   1 edrx edrx    1879 Oct  3 15:43 CHANGELOG.html
-rw-r--r--   1 edrx edrx   17992 Feb 22  2020 COPYING
-rw-r--r--   1 edrx edrx   18504 Oct  3 15:43 COPYING.html
-rw-r--r--   1 edrx edrx  171430 Sep 28 02:24 ChangeLog
-rw-r--r--   1 edrx edrx  177426 Oct  3 15:43 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 Oct  3 15:43 DEDICATION.c-r.html
-rw-r--r--   1 edrx edrx    1603 Oct  3 15:43 DEDICATION.html
-rw-r--r--   1 edrx edrx   17607 Feb 22  2020 EMACS
-rw-r--r--   1 edrx edrx   23191 Oct  3 15:43 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 Oct  3 15:43 INSTALL-0.95.0.html
-rw-r--r--   1 edrx edrx    9428 Oct  3 15:43 INSTALL.html
-rw-r--r--   1 edrx edrx    2705 Feb 22  2020 Makefile
-rw-r--r--   1 edrx edrx    5299 Oct  3 15:43 Makefile.html
-rw-r--r--   1 edrx edrx    6379 Feb 22  2020 NEWS
-rw-r--r--   1 edrx edrx    8053 Oct  3 15:43 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 Oct  3 15:43 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 Oct  3 15:43 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 Oct  3 15:43 README-0.95.2.html
-rw-r--r--   1 edrx edrx   22367 Feb 22  2020 README-20070720
-rw-r--r--   1 edrx edrx   27845 Oct  3 15:43 README-20070720.html
-rw-r--r--   1 edrx edrx    2135 Feb 22  2020 README-old.md
-rw-r--r--   1 edrx edrx    3400 Oct  3 15:43 README-old.md.html
-rw-r--r--   1 edrx edrx    4041 Oct  3 15:43 README.html
-rw-r--r--   1 edrx edrx    6008 Jan 27  2023 README.org
-rw-r--r--   1 edrx edrx   11977 Oct  3 15:43 README.org.html
-rw-r--r--   1 edrx edrx     569 Feb 22  2020 THANKS
-rw-r--r--   1 edrx edrx    1055 Oct  3 15:43 THANKS.html
-rw-r--r--   1 edrx edrx    5842 Feb 22  2020 TODO
-rw-r--r--   1 edrx edrx    6884 Oct  3 15:43 TODO.html
-rw-r--r--   1 edrx edrx      58 Sep 14 22:12 VERSION
-rw-r--r--   1 edrx edrx     546 Oct  3 15:43 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 Oct  3 15:43 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 Oct  3 15:43 eechannel.el.html
lrwxrwxrwx   1 edrx edrx       4 Aug  4  2013 eeg -> eeg4*
-rw-r--r--   1 edrx edrx   12399 Oct  3 15:43 eeg.html
-rwxr-xr-x   1 edrx edrx    8008 Feb 22  2020 eeg4*
-rw-r--r--   1 edrx edrx   12401 Oct  3 15:43 eeg4.html
-rwxr-xr-x   1 edrx edrx    3760 Feb 22  2020 eegchannel*
-rw-r--r--   1 edrx edrx    5252 Oct  3 15:43 eegchannel.html
-rw-r--r--   1 edrx edrx    5311 Jan 27  2023 eejump.el
-rw-r--r--   1 edrx edrx    8269 Oct  3 15:43 eejump.el.html
-rw-r--r--   1 edrx edrx   57265 Sep 27 23:30 eepitch.el
-rw-r--r--   1 edrx edrx   78342 Oct  3 15:43 eepitch.el.html
-rw-r--r--   1 edrx edrx   17872 Feb 22  2020 eepitch.readme
-rw-r--r--   1 edrx edrx   33130 Oct  3 15:43 eepitch.readme.html
-rw-r--r--   1 edrx edrx  104508 Feb 22  2020 eev-2012.el
-rw-r--r--   1 edrx edrx  111086 Oct  3 15:43 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  2025 eev-aliases.el
-rw-r--r--   1 edrx edrx    9819 Oct  3 15:43 eev-aliases.el.html
-rw-r--r--   1 edrx edrx    5533 Feb 22  2020 eev-all.el
-rw-r--r--   1 edrx edrx    7888 Oct  3 15:43 eev-all.el.html
-rw-r--r--   1 edrx edrx    5974 Jan 27  2023 eev-anchors.el
-rw-r--r--   1 edrx edrx   10066 Oct  3 15:43 eev-anchors.el.html
-rw-r--r--   1 edrx edrx   24368 Jan 27  2023 eev-audiovideo.el
-rw-r--r--   1 edrx edrx   34302 Oct  3 15:43 eev-audiovideo.el.html
-rw-r--r--   1 edrx edrx    6893 Mar  5  2024 eev-beginner.el
-rw-r--r--   1 edrx edrx   12196 Oct  3 15:43 eev-beginner.el.html
-rw-r--r--   1 edrx edrx   85186 Aug 31 05:04 eev-blinks.el
-rw-r--r--   1 edrx edrx  114072 Oct  3 15:43 eev-blinks.el.html
-rw-r--r--   1 edrx edrx   12370 Jun 25  2022 eev-bounded.el
-rw-r--r--   1 edrx edrx   15051 Oct  3 15:43 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 Oct  3 15:43 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 Oct  3 15:43 eev-brurl.el.html
-rw-r--r--   1 edrx edrx   17741 May  7  2024 eev-brxxx.el
-rw-r--r--   1 edrx edrx   24818 Oct  3 15:43 eev-brxxx.el.html
-rw-r--r--   1 edrx edrx    9724 Mar  8  2024 eev-channels.el
-rw-r--r--   1 edrx edrx   13312 Oct  3 15:43 eev-channels.el.html
-rw-r--r--   1 edrx edrx   16771 Mar  4  2025 eev-code.el
-rw-r--r--   1 edrx edrx   25063 Oct  3 15:43 eev-code.el.html
-rw-r--r--   1 edrx edrx    5661 Jan 27  2023 eev-codings.el
-rw-r--r--   1 edrx edrx    8885 Oct  3 15:43 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 Oct  3 15:43 eev-compose-hash.el.html
-rw-r--r--   1 edrx edrx    5243 Sep  2 15:18 eev-compose.el
-rw-r--r--   1 edrx edrx    6939 Oct  3 15:43 eev-compose.el.html
-rw-r--r--   1 edrx edrx   11116 Oct  2  2024 eev-edit.el
-rw-r--r--   1 edrx edrx   17797 Oct  3 15:43 eev-edit.el.html
-rw-r--r--   1 edrx edrx   84641 Aug 31 23:06 eev-elinks.el
-rw-r--r--   1 edrx edrx  123645 Oct  3 15:43 eev-elinks.el.html
-rw-r--r--   1 edrx edrx    4929 Mar  8  2024 eev-env.el
-rw-r--r--   1 edrx edrx    6716 Oct  3 15:43 eev-env.el.html
-rw-r--r--   1 edrx edrx   12532 Jan 27  2023 eev-eval.el
-rw-r--r--   1 edrx edrx   17115 Oct  3 15:43 eev-eval.el.html
-rw-r--r--   1 edrx edrx    7307 Jun 25  2022 eev-explain.el
-rw-r--r--   1 edrx edrx    8940 Oct  3 15:43 eev-explain.el.html
-rw-r--r--   1 edrx edrx    3708 Jan 27  2023 eev-flash.el
-rw-r--r--   1 edrx edrx    5777 Oct  3 15:43 eev-flash.el.html
-rw-r--r--   1 edrx edrx     198 Feb 22  2020 eev-glyph-icon.png
-rw-r--r--   1 edrx edrx    9571 Sep  2 15:18 eev-glyphs.el
-rw-r--r--   1 edrx edrx   14453 Oct  3 15:43 eev-glyphs.el.html
-rw-r--r--   1 edrx edrx    8234 Mar  6  2024 eev-helpful.el
-rw-r--r--   1 edrx edrx   11697 Oct  3 15:43 eev-helpful.el.html
-rw-r--r--   1 edrx edrx   27254 Oct  2  2024 eev-hlinks.el
-rw-r--r--   1 edrx edrx   37097 Oct  3 15:43 eev-hlinks.el.html
-rw-r--r--   1 edrx edrx    6044 Oct  2  2024 eev-htests.el
-rw-r--r--   1 edrx edrx    8129 Oct  3 15:43 eev-htests.el.html
-rw-r--r--   1 edrx edrx    5195 Oct 14  2024 eev-hydras.el
-rw-r--r--   1 edrx edrx    8535 Oct  3 15:43 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 Oct  3 15:43 eev-insert.el.html
-rw-r--r--   1 edrx edrx  653699 Sep 13 23:22 eev-intro.el
-rw-r--r--   1 edrx edrx  989694 Oct  3 15:43 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 Oct  3 15:43 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 Oct  3 15:43 eev-kla.el.html
-rw-r--r--   1 edrx edrx   18792 Sep 24  2020 eev-langs.el
-rw-r--r--   1 edrx edrx   26518 Oct  3 15:43 eev-langs.el.html
-rw-r--r--   1 edrx edrx   17909 May 23 22:50 eev-lean4.el
-rw-r--r--   1 edrx edrx   29887 Oct  3 15:43 eev-lean4.el.html
-rw-r--r--   1 edrx edrx    9328 Jun 19  2024 eev-load.el
-rw-r--r--   1 edrx edrx   21943 Oct  3 15:43 eev-load.el.html
-rw-r--r--   1 edrx edrx   14623 Sep  2 15:18 eev-math-glyphs.el
-rw-r--r--   1 edrx edrx   16719 Oct  3 15:43 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 Oct  3 15:43 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 Oct  3 15:43 eev-mini.el.html
-rw-r--r--   1 edrx edrx   14560 Sep 14 20:24 eev-mode.el
-rw-r--r--   1 edrx edrx   22236 Oct  3 15:43 eev-mode.el.html
-rw-r--r--   1 edrx edrx    6760 Dec 22  2023 eev-multiwindow.el
-rw-r--r--   1 edrx edrx    9207 Oct  3 15:43 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 Oct  3 15:43 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 Oct  3 15:43 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 Oct  3 15:43 eev-pdflike.el.html
-rw-r--r--   1 edrx edrx    7704 Feb 22  2020 eev-pdfpages.el
-rw-r--r--   1 edrx edrx    8771 Oct  3 15:43 eev-pdfpages.el.html
-rw-r--r--   1 edrx edrx     365 Jan  2  2021 eev-pkg.el
-rw-r--r--   1 edrx edrx     898 Oct  3 15:43 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 Oct  3 15:43 eev-plinks.el.html
-rw-r--r--   1 edrx edrx   10505 Mar  8  2024 eev-prepared.el
-rw-r--r--   1 edrx edrx   12637 Oct  3 15:43 eev-prepared.el.html
-rw-r--r--   1 edrx edrx    3940 Mar  9  2024 eev-qrl.el
-rw-r--r--   1 edrx edrx    5638 Oct  3 15:43 eev-qrl.el.html
-rw-r--r--   1 edrx edrx   19992 Feb 27  2024 eev-rcirc.el
-rw-r--r--   1 edrx edrx   25101 Oct  3 15:43 eev-rcirc.el.html
-rwxr-xr-x   1 edrx edrx   22621 Feb 22  2020 eev-rctool*
-rw-r--r--   1 edrx edrx   30545 Oct  3 15:43 eev-rctool.html
-rw-r--r--   1 edrx edrx    4772 Jun 25  2022 eev-readme.el
-rw-r--r--   1 edrx edrx    6962 Oct  3 15:43 eev-readme.el.html
-rw-r--r--   1 edrx edrx   22333 Jun 15 04:16 eev-rstdoc.el
-rw-r--r--   1 edrx edrx   33451 Oct  3 15:43 eev-rstdoc.el.html
-rw-r--r--   1 edrx edrx   11393 Feb 22  2020 eev-sshot.el
-rw-r--r--   1 edrx edrx   13371 Oct  3 15:43 eev-sshot.el.html
-rw-r--r--   1 edrx edrx   19690 Feb 22  2020 eev-steps.el
-rw-r--r--   1 edrx edrx   21939 Oct  3 15:43 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 Oct  3 15:43 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 Oct  3 15:43 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 Oct  3 15:43 eev-template0.el.html
-rw-r--r--   1 edrx edrx   16635 Sep 28 09:31 eev-testblocks.el
-rw-r--r--   1 edrx edrx   45256 Oct  3 15:43 eev-testblocks.el.html
-rw-r--r--   1 edrx edrx   17510 Mar  9  2024 eev-tla.el
-rw-r--r--   1 edrx edrx   25808 Oct  3 15:43 eev-tla.el.html
-rw-r--r--   1 edrx edrx  224119 Sep 27 19:16 eev-tlinks.el
-rw-r--r--   1 edrx edrx  373099 Oct  3 15:43 eev-tlinks.el.html
-rw-r--r--   1 edrx edrx   52129 May 23 23:08 eev-videolinks.el
-rw-r--r--   1 edrx edrx  103378 Oct  3 15:43 eev-videolinks.el.html
-rw-r--r--   1 edrx edrx   35412 May 17  2023 eev-wconfig.el
-rw-r--r--   1 edrx edrx   55393 Oct  3 15:43 eev-wconfig.el.html
-rw-r--r--   1 edrx edrx   24120 Oct 12  2024 eev-wrap.el
-rw-r--r--   1 edrx edrx   37476 Oct  3 15:43 eev-wrap.el.html
-rw-r--r--   1 edrx edrx    1676 Sep 14 20:26 eev.el
-rw-r--r--   1 edrx edrx    2433 Oct  3 15:43 eev.el.html
-rw-r--r--   1 edrx edrx    4957 Jun 25  2022 eev2-all.el
-rw-r--r--   1 edrx edrx   11919 Oct  3 15:43 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 Oct  3 15:43 examples/
-rw-r--r--   1 edrx edrx     979 Feb 22  2020 find-eev-update-links
-rw-r--r--   1 edrx edrx    2376 Oct  3 15:43 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 Oct  3 15:43 htmlize-all.el.html
-rw-r--r--   1 edrx edrx   28666 Feb 22  2020 htmlize-eev.el
-rw-r--r--   1 edrx edrx   31967 Oct  3 15:43 htmlize-eev.el.html
drwxr-xr-x   3 edrx edrx    4096 Oct  3 15:43 rcfiles/
drwxr-xr-x   2 edrx edrx    4096 Aug 22  2005 slides/
drwxr-xr-x   2 edrx edrx    4096 Oct  3 15:43 tmp/