drwxr-xr-x  11 edrx edrx       12288 Sep 24  2019 ./
drwxr-xr-x 312 edrx edrx       40960 Oct  4 18:41 ../
-rw-r--r--   1 edrx edrx         564 Dec 28  2023 .dir-locals.el
-rw-r--r--   1 edrx edrx        1944 Oct  4 18:40 .dir-locals.el.html
-rw-r--r--   1 edrx edrx         477 Feb 21  2020 .favicon.el
-rw-r--r--   1 edrx edrx         973 Oct  4 18:40 .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 Oct  4 18:40 .files-0.95.2.html
-rw-r--r--   1 edrx edrx         395 Feb 21  2020 .files-html
-rw-r--r--   1 edrx edrx         891 Oct  4 18:40 .files-html.html
-rw-r--r--   1 edrx edrx        2340 Oct  4 18:40 .files.html
-rw-r--r--   1 edrx edrx          41 Dec 25  2023 .gitignore
-rw-r--r--   1 edrx edrx         535 Oct  4 18:40 .gitignore.html
-rw-r--r--   1 edrx edrx        1337 Feb 21  2020 BUGS
-rw-r--r--   1 edrx edrx        2033 Oct  4 18:40 BUGS.html
-rw-r--r--   1 edrx edrx        1387 Feb 21  2020 CHANGELOG
-rw-r--r--   1 edrx edrx        1879 Oct  4 18:40 CHANGELOG.html
-rw-r--r--   1 edrx edrx       17992 Feb 21  2020 COPYING
-rw-r--r--   1 edrx edrx       18504 Oct  4 18:40 COPYING.html
-rw-r--r--   1 edrx edrx      171430 Sep 27 22:24 ChangeLog
-rw-r--r--   1 edrx edrx      177426 Oct  4 18:40 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 Oct  4 18:40 DEDICATION.c-r.html
-rw-r--r--   1 edrx edrx        1603 Oct  4 18:40 DEDICATION.html
-rw-r--r--   1 edrx edrx       17607 Feb 21  2020 EMACS
-rw-r--r--   1 edrx edrx       23191 Oct  4 18:40 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 Oct  4 18:40 INSTALL-0.95.0.html
-rw-r--r--   1 edrx edrx        9428 Oct  4 18:40 INSTALL.html
-rw-r--r--   1 edrx edrx        2705 Feb 21  2020 Makefile
-rw-r--r--   1 edrx edrx        5299 Oct  4 18:40 Makefile.html
-rw-r--r--   1 edrx edrx        6379 Feb 21  2020 NEWS
-rw-r--r--   1 edrx edrx        8053 Oct  4 18:40 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 Oct  4 18:40 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 Oct  4 18:40 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 Oct  4 18:40 README-0.95.2.html
-rw-r--r--   1 edrx edrx       22367 Feb 21  2020 README-20070720
-rw-r--r--   1 edrx edrx       27845 Oct  4 18:40 README-20070720.html
-rw-r--r--   1 edrx edrx        2135 Feb 21  2020 README-old.md
-rw-r--r--   1 edrx edrx        3400 Oct  4 18:40 README-old.md.html
-rw-r--r--   1 edrx edrx        4041 Oct  4 18:40 README.html
-rw-r--r--   1 edrx edrx        6008 Jan 27  2023 README.org
-rw-r--r--   1 edrx edrx       11977 Oct  4 18:40 README.org.html
-rw-r--r--   1 edrx edrx         569 Feb 21  2020 THANKS
-rw-r--r--   1 edrx edrx        1055 Oct  4 18:40 THANKS.html
-rw-r--r--   1 edrx edrx        5842 Feb 21  2020 TODO
-rw-r--r--   1 edrx edrx        6884 Oct  4 18:40 TODO.html
-rw-r--r--   1 edrx edrx          58 Sep 14 18:12 VERSION
-rw-r--r--   1 edrx edrx         546 Oct  4 18:40 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  4 18:40 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 Oct  4 18:40 eechannel.el.html
lrwxrwxrwx   1 edrx edrx           4 Aug  4  2013 eeg -> eeg4*
-rw-r--r--   1 edrx edrx       12399 Oct  4 18:40 eeg.html
-rwxr-xr-x   1 edrx edrx        8008 Feb 21  2020 eeg4*
-rw-r--r--   1 edrx edrx       12401 Oct  4 18:40 eeg4.html
-rwxr-xr-x   1 edrx edrx        3760 Feb 21  2020 eegchannel*
-rw-r--r--   1 edrx edrx        5252 Oct  4 18:40 eegchannel.html
-rw-r--r--   1 edrx edrx        5311 Jan 27  2023 eejump.el
-rw-r--r--   1 edrx edrx        8269 Oct  4 18:40 eejump.el.html
-rw-r--r--   1 edrx edrx       57265 Sep 27 19:30 eepitch.el
-rw-r--r--   1 edrx edrx       78342 Oct  4 18:40 eepitch.el.html
-rw-r--r--   1 edrx edrx       17872 Feb 21  2020 eepitch.readme
-rw-r--r--   1 edrx edrx       33130 Oct  4 18:40 eepitch.readme.html
-rw-r--r--   1 edrx edrx      104508 Feb 21  2020 eev-2012.el
-rw-r--r--   1 edrx edrx      111086 Oct  4 18:40 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 Oct  4 18:40 eev-aliases.el.html
-rw-r--r--   1 edrx edrx        5533 Feb 21  2020 eev-all.el
-rw-r--r--   1 edrx edrx        7888 Oct  4 18:40 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  4 18:40 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  4 18:40 eev-audiovideo.el.html
-rw-r--r--   1 edrx edrx        6893 Mar  4  2024 eev-beginner.el
-rw-r--r--   1 edrx edrx       12196 Oct  4 18:40 eev-beginner.el.html
-rw-r--r--   1 edrx edrx       85186 Aug 31 01:04 eev-blinks.el
-rw-r--r--   1 edrx edrx      114072 Oct  4 18:40 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  4 18:40 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 Oct  4 18:40 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 Oct  4 18:40 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  4 18:40 eev-brxxx.el.html
-rw-r--r--   1 edrx edrx        9724 Mar  7  2024 eev-channels.el
-rw-r--r--   1 edrx edrx       13312 Oct  4 18:40 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  4 18:40 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  4 18:40 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  4 18:40 eev-compose-hash.el.html
-rw-r--r--   1 edrx edrx        5243 Sep  2 11:18 eev-compose.el
-rw-r--r--   1 edrx edrx        6939 Oct  4 18:40 eev-compose.el.html
-rw-r--r--   1 edrx edrx       11116 Oct  1  2024 eev-edit.el
-rw-r--r--   1 edrx edrx       17797 Oct  4 18:40 eev-edit.el.html
-rw-r--r--   1 edrx edrx       84641 Oct  3 23:14 eev-elinks.el
-rw-r--r--   1 edrx edrx      123645 Oct  4 18:40 eev-elinks.el.html
-rw-r--r--   1 edrx edrx        4929 Mar  7  2024 eev-env.el
-rw-r--r--   1 edrx edrx        6716 Oct  4 18:40 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  4 18:40 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  4 18:40 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  4 18:40 eev-flash.el.html
-rw-r--r--   1 edrx edrx         198 Feb 21  2020 eev-glyph-icon.png
-rw-r--r--   1 edrx edrx        9571 Sep  2 11:18 eev-glyphs.el
-rw-r--r--   1 edrx edrx       14453 Oct  4 18:40 eev-glyphs.el.html
-rw-r--r--   1 edrx edrx        8234 Mar  5  2024 eev-helpful.el
-rw-r--r--   1 edrx edrx       11697 Oct  4 18:40 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  4 18:40 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  4 18:40 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  4 18:40 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 Oct  4 18:40 eev-insert.el.html
-rw-r--r--   1 edrx edrx      653699 Sep 13 19:22 eev-intro.el
-rw-r--r--   1 edrx edrx      989694 Oct  4 18:40 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  4 18:40 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  4 18:40 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  4 18:40 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 Oct  4 18:40 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  4 18:40 eev-load.el.html
-rw-r--r--   1 edrx edrx       14623 Sep  2 11:18 eev-math-glyphs.el
-rw-r--r--   1 edrx edrx       16719 Oct  4 18:40 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 Oct  4 18:40 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 Oct  4 18:40 eev-mini.el.html
-rw-r--r--   1 edrx edrx       14560 Sep 14 16:24 eev-mode.el
-rw-r--r--   1 edrx edrx       22236 Oct  4 18:40 eev-mode.el.html
-rw-r--r--   1 edrx edrx        6760 Dec 21  2023 eev-multiwindow.el
-rw-r--r--   1 edrx edrx        9207 Oct  4 18:40 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  4 18:40 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 Oct  4 18:40 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  4 18:40 eev-pdflike.el.html
-rw-r--r--   1 edrx edrx        7704 Feb 21  2020 eev-pdfpages.el
-rw-r--r--   1 edrx edrx        8771 Oct  4 18:40 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  4 18:40 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 Oct  4 18:40 eev-plinks.el.html
-rw-r--r--   1 edrx edrx       10505 Mar  7  2024 eev-prepared.el
-rw-r--r--   1 edrx edrx       12637 Oct  4 18:40 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  4 18:40 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  4 18:40 eev-rcirc.el.html
-rwxr-xr-x   1 edrx edrx       22621 Feb 21  2020 eev-rctool*
-rw-r--r--   1 edrx edrx       30545 Oct  4 18:40 eev-rctool.html
-rw-r--r--   1 edrx edrx        4772 Jun 25  2022 eev-readme.el
-rw-r--r--   1 edrx edrx        6962 Oct  4 18:40 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 Oct  4 18:40 eev-rstdoc.el.html
-rw-r--r--   1 edrx edrx       11393 Feb 21  2020 eev-sshot.el
-rw-r--r--   1 edrx edrx       13371 Oct  4 18:40 eev-sshot.el.html
-rw-r--r--   1 edrx edrx       19690 Feb 21  2020 eev-steps.el
-rw-r--r--   1 edrx edrx       21939 Oct  4 18:40 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 Oct  4 18:40 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 Oct  4 18:40 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  4 18:40 eev-template0.el.html
-rw-r--r--   1 edrx edrx       16635 Sep 28 05:31 eev-testblocks.el
-rw-r--r--   1 edrx edrx       45256 Oct  4 18:40 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  4 18:40 eev-tla.el.html
-rw-r--r--   1 edrx edrx      224119 Sep 27 15:16 eev-tlinks.el
-rw-r--r--   1 edrx edrx      373099 Oct  4 18:40 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 Oct  4 18:40 eev-videolinks.el.html
-rw-r--r--   1 edrx edrx       35412 May 16  2023 eev-wconfig.el
-rw-r--r--   1 edrx edrx       55393 Oct  4 18:40 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  4 18:40 eev-wrap.el.html
-rw-r--r--   1 edrx edrx        1676 Sep 14 16:26 eev.el
-rw-r--r--   1 edrx edrx        2433 Oct  4 18:40 eev.el.html
-rw-r--r--   1 edrx edrx        4957 Jun 25  2022 eev2-all.el
-rw-r--r--   1 edrx edrx       11919 Oct  4 18:40 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 Oct  4 18:40 examples/
-rw-r--r--   1 edrx edrx         979 Feb 21  2020 find-eev-update-links
-rw-r--r--   1 edrx edrx        2376 Oct  4 18:40 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 Oct  4 18:40 htmlize-all.el.html
-rw-r--r--   1 edrx edrx       28666 Feb 21  2020 htmlize-eev.el
-rw-r--r--   1 edrx edrx       31967 Oct  4 18:40 htmlize-eev.el.html
drwxr-xr-x   3 edrx edrx        4096 Oct  4 18:40 rcfiles/
drwxr-xr-x   2 edrx edrx        4096 Aug 22  2005 slides/
drwxr-xr-x   2 edrx edrx        4096 Oct  4 18:40 tmp/