drwxr-xr-x  11 edrx edrx       12288 Sep 24  2019 ./
drwxr-xr-x 312 edrx edrx       40960 Oct 12 18:13 ../
-rw-r--r--   1 edrx edrx         564 Dec 28  2023 .dir-locals.el
-rw-r--r--   1 edrx edrx        1944 Oct 12 18:12 .dir-locals.el.html
-rw-r--r--   1 edrx edrx         477 Feb 21  2020 .favicon.el
-rw-r--r--   1 edrx edrx         973 Oct 12 18:12 .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 12 18:12 .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 12 18:12 .files-html.html
-rw-r--r--   1 edrx edrx        2340 Oct 12 18:12 .files.html
-rw-r--r--   1 edrx edrx          41 Dec 25  2023 .gitignore
-rw-r--r--   1 edrx edrx         535 Oct 12 18:12 .gitignore.html
-rw-r--r--   1 edrx edrx        1337 Feb 21  2020 BUGS
-rw-r--r--   1 edrx edrx        2033 Oct 12 18:12 BUGS.html
-rw-r--r--   1 edrx edrx        1387 Feb 21  2020 CHANGELOG
-rw-r--r--   1 edrx edrx        1879 Oct 12 18:12 CHANGELOG.html
-rw-r--r--   1 edrx edrx       17992 Feb 21  2020 COPYING
-rw-r--r--   1 edrx edrx       18504 Oct 12 18:12 COPYING.html
-rw-r--r--   1 edrx edrx      171980 Oct  9 12:12 ChangeLog
-rw-r--r--   1 edrx edrx      177988 Oct 12 18:12 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 12 18:12 DEDICATION.c-r.html
-rw-r--r--   1 edrx edrx        1603 Oct 12 18:12 DEDICATION.html
-rw-r--r--   1 edrx edrx       17607 Feb 21  2020 EMACS
-rw-r--r--   1 edrx edrx       23191 Oct 12 18:12 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 12 18:12 INSTALL-0.95.0.html
-rw-r--r--   1 edrx edrx        9428 Oct 12 18:12 INSTALL.html
-rw-r--r--   1 edrx edrx        2705 Feb 21  2020 Makefile
-rw-r--r--   1 edrx edrx        5299 Oct 12 18:12 Makefile.html
-rw-r--r--   1 edrx edrx        6379 Feb 21  2020 NEWS
-rw-r--r--   1 edrx edrx        8053 Oct 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 README-20070720.html
-rw-r--r--   1 edrx edrx        2135 Feb 21  2020 README-old.md
-rw-r--r--   1 edrx edrx        3400 Oct 12 18:12 README-old.md.html
-rw-r--r--   1 edrx edrx        4041 Oct 12 18:12 README.html
-rw-r--r--   1 edrx edrx        6008 Jan 27  2023 README.org
-rw-r--r--   1 edrx edrx       11977 Oct 12 18:12 README.org.html
-rw-r--r--   1 edrx edrx         569 Feb 21  2020 THANKS
-rw-r--r--   1 edrx edrx        1055 Oct 12 18:12 THANKS.html
-rw-r--r--   1 edrx edrx        5842 Feb 21  2020 TODO
-rw-r--r--   1 edrx edrx        6884 Oct 12 18:12 TODO.html
-rw-r--r--   1 edrx edrx          58 Sep 14 18:12 VERSION
-rw-r--r--   1 edrx edrx         546 Oct 12 18:12 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 12 18:12 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 12 18:12 eechannel.el.html
lrwxrwxrwx   1 edrx edrx           4 Aug  4  2013 eeg -> eeg4*
-rw-r--r--   1 edrx edrx       12399 Oct 12 18:12 eeg.html
-rwxr-xr-x   1 edrx edrx        8008 Feb 21  2020 eeg4*
-rw-r--r--   1 edrx edrx       12401 Oct 12 18:12 eeg4.html
-rwxr-xr-x   1 edrx edrx        3760 Feb 21  2020 eegchannel*
-rw-r--r--   1 edrx edrx        5252 Oct 12 18:12 eegchannel.html
-rw-r--r--   1 edrx edrx        5311 Jan 27  2023 eejump.el
-rw-r--r--   1 edrx edrx        8269 Oct 12 18:12 eejump.el.html
-rw-r--r--   1 edrx edrx       59334 Oct  8 21:01 eepitch.el
-rw-r--r--   1 edrx edrx       81996 Oct 12 18:12 eepitch.el.html
-rw-r--r--   1 edrx edrx       17872 Feb 21  2020 eepitch.readme
-rw-r--r--   1 edrx edrx       33130 Oct 12 18:12 eepitch.readme.html
-rw-r--r--   1 edrx edrx      104508 Feb 21  2020 eev-2012.el
-rw-r--r--   1 edrx edrx      111086 Oct 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 eev-edit.el.html
-rw-r--r--   1 edrx edrx       84692 Oct  8 05:46 eev-elinks.el
-rw-r--r--   1 edrx edrx      123696 Oct 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 eev-rcirc.el.html
-rwxr-xr-x   1 edrx edrx       22621 Feb 21  2020 eev-rctool*
-rw-r--r--   1 edrx edrx       30545 Oct 12 18:12 eev-rctool.html
-rw-r--r--   1 edrx edrx        4772 Jun 25  2022 eev-readme.el
-rw-r--r--   1 edrx edrx        6962 Oct 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 eev-template0.el.html
-rw-r--r--   1 edrx edrx       16820 Oct  9 02:22 eev-testblocks.el
-rw-r--r--   1 edrx edrx       45359 Oct 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 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 12 18:12 eev.el.html
-rw-r--r--   1 edrx edrx        4957 Jun 25  2022 eev2-all.el
-rw-r--r--   1 edrx edrx       11919 Oct 12 18:12 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 12 18:12 examples/
-rw-r--r--   1 edrx edrx         979 Feb 21  2020 find-eev-update-links
-rw-r--r--   1 edrx edrx        2376 Oct 12 18:12 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 12 18:12 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 12 18:12 htmlize-eev.el.html
drwxr-xr-x   3 edrx edrx        4096 Oct 12 18:12 rcfiles/
drwxr-xr-x   2 edrx edrx        4096 Aug 22  2005 slides/
drwxr-xr-x   2 edrx edrx        4096 Oct 12 18:12 tmp/