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