drwxr-xr-x 11 edrx edrx 12288 Sep 25 2019 ./ drwxr-xr-x 308 edrx edrx 36864 Jan 13 16:02 ../ -rw-r--r-- 1 edrx edrx 564 Dec 28 2023 .dir-locals.el -rw-r--r-- 1 edrx edrx 1944 Jan 13 16:02 .dir-locals.el.html -rw-r--r-- 1 edrx edrx 477 Feb 22 2020 .favicon.el -rw-r--r-- 1 edrx edrx 973 Jan 13 16:02 .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 Jan 13 16:02 .files-0.95.2.html -rw-r--r-- 1 edrx edrx 395 Feb 22 2020 .files-html -rw-r--r-- 1 edrx edrx 891 Jan 13 16:02 .files-html.html -rw-r--r-- 1 edrx edrx 2340 Jan 13 16:02 .files.html -rw-r--r-- 1 edrx edrx 41 Dec 26 2023 .gitignore -rw-r--r-- 1 edrx edrx 535 Jan 13 16:02 .gitignore.html -rw-r--r-- 1 edrx edrx 1337 Feb 22 2020 BUGS -rw-r--r-- 1 edrx edrx 2033 Jan 13 16:02 BUGS.html -rw-r--r-- 1 edrx edrx 1387 Feb 22 2020 CHANGELOG -rw-r--r-- 1 edrx edrx 1879 Jan 13 16:02 CHANGELOG.html -rw-r--r-- 1 edrx edrx 17992 Feb 22 2020 COPYING -rw-r--r-- 1 edrx edrx 18504 Jan 13 16:02 COPYING.html -rw-r--r-- 1 edrx edrx 167283 Jan 10 16:46 ChangeLog -rw-r--r-- 1 edrx edrx 173115 Jan 13 16:02 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 Jan 13 16:02 DEDICATION.c-r.html -rw-r--r-- 1 edrx edrx 1603 Jan 13 16:02 DEDICATION.html -rw-r--r-- 1 edrx edrx 17607 Feb 22 2020 EMACS -rw-r--r-- 1 edrx edrx 23191 Jan 13 16:02 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 Jan 13 16:02 INSTALL-0.95.0.html -rw-r--r-- 1 edrx edrx 9428 Jan 13 16:02 INSTALL.html -rw-r--r-- 1 edrx edrx 2705 Feb 22 2020 Makefile -rw-r--r-- 1 edrx edrx 5299 Jan 13 16:02 Makefile.html -rw-r--r-- 1 edrx edrx 6379 Feb 22 2020 NEWS -rw-r--r-- 1 edrx edrx 8053 Jan 13 16:02 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 Jan 13 16:02 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 Jan 13 16:02 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 Jan 13 16:02 README-0.95.2.html -rw-r--r-- 1 edrx edrx 22367 Feb 22 2020 README-20070720 -rw-r--r-- 1 edrx edrx 27845 Jan 13 16:02 README-20070720.html -rw-r--r-- 1 edrx edrx 2135 Feb 22 2020 README-old.md -rw-r--r-- 1 edrx edrx 3400 Jan 13 16:02 README-old.md.html -rw-r--r-- 1 edrx edrx 4041 Jan 13 16:02 README.html -rw-r--r-- 1 edrx edrx 6008 Jan 27 2023 README.org -rw-r--r-- 1 edrx edrx 11977 Jan 13 16:02 README.org.html -rw-r--r-- 1 edrx edrx 569 Feb 22 2020 THANKS -rw-r--r-- 1 edrx edrx 1055 Jan 13 16:02 THANKS.html -rw-r--r-- 1 edrx edrx 5842 Feb 22 2020 TODO -rw-r--r-- 1 edrx edrx 6884 Jan 13 16:02 TODO.html -rw-r--r-- 1 edrx edrx 58 Jan 1 00:55 VERSION -rw-r--r-- 1 edrx edrx 546 Jan 13 16:02 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 Jan 13 16:02 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 Jan 13 16:02 eechannel.el.html lrwxrwxrwx 1 edrx edrx 4 Aug 4 2013 eeg -> eeg4* -rw-r--r-- 1 edrx edrx 12399 Jan 13 16:02 eeg.html -rwxr-xr-x 1 edrx edrx 8008 Feb 22 2020 eeg4* -rw-r--r-- 1 edrx edrx 12401 Jan 13 16:02 eeg4.html -rwxr-xr-x 1 edrx edrx 3760 Feb 22 2020 eegchannel* -rw-r--r-- 1 edrx edrx 5252 Jan 13 16:02 eegchannel.html -rw-r--r-- 1 edrx edrx 5311 Jan 27 2023 eejump.el -rw-r--r-- 1 edrx edrx 8269 Jan 13 16:02 eejump.el.html -rw-r--r-- 1 edrx edrx 51765 Sep 27 00:38 eepitch.el -rw-r--r-- 1 edrx edrx 70240 Jan 13 16:02 eepitch.el.html -rw-r--r-- 1 edrx edrx 17872 Feb 22 2020 eepitch.readme -rw-r--r-- 1 edrx edrx 33130 Jan 13 16:02 eepitch.readme.html -rw-r--r-- 1 edrx edrx 104508 Feb 22 2020 eev-2012.el -rw-r--r-- 1 edrx edrx 111086 Jan 13 16:02 eev-2012.el.html -rw-r--r-- 2 edrx edrx 798720 Sep 25 2019 eev-20190902.tar -rw-r--r-- 1 edrx edrx 4085 Jan 8 17:42 eev-aliases.el -rw-r--r-- 1 edrx edrx 9226 Jan 13 16:02 eev-aliases.el.html -rw-r--r-- 1 edrx edrx 5533 Feb 22 2020 eev-all.el -rw-r--r-- 1 edrx edrx 7888 Jan 13 16:02 eev-all.el.html -rw-r--r-- 1 edrx edrx 5974 Jan 27 2023 eev-anchors.el -rw-r--r-- 1 edrx edrx 10066 Jan 13 16:02 eev-anchors.el.html -rw-r--r-- 1 edrx edrx 24368 Jan 27 2023 eev-audiovideo.el -rw-r--r-- 1 edrx edrx 34302 Jan 13 16:02 eev-audiovideo.el.html -rw-r--r-- 1 edrx edrx 6893 Mar 5 2024 eev-beginner.el -rw-r--r-- 1 edrx edrx 12196 Jan 13 16:02 eev-beginner.el.html -rw-r--r-- 1 edrx edrx 79040 Jan 10 16:45 eev-blinks.el -rw-r--r-- 1 edrx edrx 107000 Jan 13 16:02 eev-blinks.el.html -rw-r--r-- 1 edrx edrx 12370 Jun 25 2022 eev-bounded.el -rw-r--r-- 1 edrx edrx 15051 Jan 13 16:02 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 Jan 13 16:02 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 Jan 13 16:02 eev-brurl.el.html -rw-r--r-- 1 edrx edrx 17741 May 7 2024 eev-brxxx.el -rw-r--r-- 1 edrx edrx 24818 Jan 13 16:02 eev-brxxx.el.html -rw-r--r-- 1 edrx edrx 9724 Mar 8 2024 eev-channels.el -rw-r--r-- 1 edrx edrx 13312 Jan 13 16:02 eev-channels.el.html -rw-r--r-- 1 edrx edrx 16261 Oct 27 15:04 eev-code.el -rw-r--r-- 1 edrx edrx 24389 Jan 13 16:02 eev-code.el.html -rw-r--r-- 1 edrx edrx 5661 Jan 27 2023 eev-codings.el -rw-r--r-- 1 edrx edrx 8885 Jan 13 16:02 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 Jan 13 16:02 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 Jan 13 16:02 eev-compose.el.html -rw-r--r-- 1 edrx edrx 11116 Oct 2 02:38 eev-edit.el -rw-r--r-- 1 edrx edrx 17797 Jan 13 16:02 eev-edit.el.html -rw-r--r-- 1 edrx edrx 82237 Jan 10 10:16 eev-elinks.el -rw-r--r-- 1 edrx edrx 120571 Jan 13 16:02 eev-elinks.el.html -rw-r--r-- 1 edrx edrx 4929 Mar 8 2024 eev-env.el -rw-r--r-- 1 edrx edrx 6716 Jan 13 16:02 eev-env.el.html -rw-r--r-- 1 edrx edrx 12532 Jan 27 2023 eev-eval.el -rw-r--r-- 1 edrx edrx 17115 Jan 13 16:02 eev-eval.el.html -rw-r--r-- 1 edrx edrx 7307 Jun 25 2022 eev-explain.el -rw-r--r-- 1 edrx edrx 8940 Jan 13 16:02 eev-explain.el.html -rw-r--r-- 1 edrx edrx 3708 Jan 27 2023 eev-flash.el -rw-r--r-- 1 edrx edrx 5777 Jan 13 16:02 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 Jan 13 16:02 eev-glyphs.el.html -rw-r--r-- 1 edrx edrx 8234 Mar 6 2024 eev-helpful.el -rw-r--r-- 1 edrx edrx 11697 Jan 13 16:02 eev-helpful.el.html -rw-r--r-- 1 edrx edrx 27254 Oct 2 04:42 eev-hlinks.el -rw-r--r-- 1 edrx edrx 37097 Jan 13 16:02 eev-hlinks.el.html -rw-r--r-- 1 edrx edrx 6044 Oct 2 04:35 eev-htests.el -rw-r--r-- 1 edrx edrx 8129 Jan 13 16:02 eev-htests.el.html -rw-r--r-- 1 edrx edrx 5195 Oct 14 23:32 eev-hydras.el -rw-r--r-- 1 edrx edrx 8535 Jan 13 16:02 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 Jan 13 16:02 eev-insert.el.html -rw-r--r-- 1 edrx edrx 649657 Jan 8 17:32 eev-intro.el -rw-r--r-- 1 edrx edrx 982686 Jan 13 16:02 eev-intro.el.html -rw-r--r-- 1 edrx edrx 11509 Oct 2 04:44 eev-kl-here.el -rw-r--r-- 1 edrx edrx 17160 Jan 13 16:02 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 Jan 13 16:02 eev-kla.el.html -rw-r--r-- 1 edrx edrx 18792 Sep 24 2020 eev-langs.el -rw-r--r-- 1 edrx edrx 26518 Jan 13 16:02 eev-langs.el.html -rw-r--r-- 1 edrx edrx 17764 Jul 31 03:45 eev-lean4.el -rw-r--r-- 1 edrx edrx 29459 Jan 13 16:02 eev-lean4.el.html -rw-r--r-- 1 edrx edrx 9328 Jun 19 2024 eev-load.el -rw-r--r-- 1 edrx edrx 21943 Jan 13 16:02 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 Jan 13 16:02 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 Jan 13 16:02 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 Jan 13 16:02 eev-mini.el.html -rw-r--r-- 1 edrx edrx 14557 Oct 13 05:19 eev-mode.el -rw-r--r-- 1 edrx edrx 22233 Jan 13 16:02 eev-mode.el.html -rw-r--r-- 1 edrx edrx 6760 Dec 22 2023 eev-multiwindow.el -rw-r--r-- 1 edrx edrx 9207 Jan 13 16:02 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 Jan 13 16:02 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 Jan 13 16:02 eev-pdflike-old.el.html -rw-r--r-- 1 edrx edrx 47334 Sep 8 04:31 eev-pdflike.el -rw-r--r-- 1 edrx edrx 67108 Jan 13 16:02 eev-pdflike.el.html -rw-r--r-- 1 edrx edrx 7704 Feb 22 2020 eev-pdfpages.el -rw-r--r-- 1 edrx edrx 8771 Jan 13 16:02 eev-pdfpages.el.html -rw-r--r-- 1 edrx edrx 365 Jan 2 2021 eev-pkg.el -rw-r--r-- 1 edrx edrx 898 Jan 13 16:02 eev-pkg.el.html -rw-r--r-- 1 edrx edrx 28152 Dec 23 03:31 eev-plinks.el -rw-r--r-- 1 edrx edrx 42466 Jan 13 16:02 eev-plinks.el.html -rw-r--r-- 1 edrx edrx 10505 Mar 8 2024 eev-prepared.el -rw-r--r-- 1 edrx edrx 12637 Jan 13 16:02 eev-prepared.el.html -rw-r--r-- 1 edrx edrx 3940 Mar 9 2024 eev-qrl.el -rw-r--r-- 1 edrx edrx 5638 Jan 13 16:02 eev-qrl.el.html -rw-r--r-- 1 edrx edrx 19992 Feb 27 2024 eev-rcirc.el -rw-r--r-- 1 edrx edrx 25101 Jan 13 16:02 eev-rcirc.el.html -rwxr-xr-x 1 edrx edrx 22621 Feb 22 2020 eev-rctool* -rw-r--r-- 1 edrx edrx 30545 Jan 13 16:02 eev-rctool.html -rw-r--r-- 1 edrx edrx 4772 Jun 25 2022 eev-readme.el -rw-r--r-- 1 edrx edrx 6962 Jan 13 16:02 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 Jan 13 16:02 eev-rstdoc.el.html -rw-r--r-- 1 edrx edrx 11393 Feb 22 2020 eev-sshot.el -rw-r--r-- 1 edrx edrx 13371 Jan 13 16:02 eev-sshot.el.html -rw-r--r-- 1 edrx edrx 19690 Feb 22 2020 eev-steps.el -rw-r--r-- 1 edrx edrx 21939 Jan 13 16:02 eev-steps.el.html -rw-r--r-- 1 edrx edrx 15514 Sep 26 02:17 eev-strange-functions.el -rw-r--r-- 1 edrx edrx 23490 Jan 13 16:02 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 Jan 13 16:02 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 Jan 13 16:02 eev-template0.el.html -rw-r--r-- 1 edrx edrx 11972 Oct 5 03:00 eev-testblocks.el -rw-r--r-- 1 edrx edrx 26101 Jan 13 16:02 eev-testblocks.el.html -rw-r--r-- 1 edrx edrx 17510 Mar 9 2024 eev-tla.el -rw-r--r-- 1 edrx edrx 25808 Jan 13 16:02 eev-tla.el.html -rw-r--r-- 1 edrx edrx 223258 Jan 11 02:47 eev-tlinks.el -rw-r--r-- 1 edrx edrx 371166 Jan 13 16:02 eev-tlinks.el.html -rw-r--r-- 1 edrx edrx 51196 Jan 1 00:38 eev-videolinks.el -rw-r--r-- 1 edrx edrx 101625 Jan 13 16:02 eev-videolinks.el.html -rw-r--r-- 1 edrx edrx 35412 May 17 2023 eev-wconfig.el -rw-r--r-- 1 edrx edrx 55393 Jan 13 16:02 eev-wconfig.el.html -rw-r--r-- 1 edrx edrx 24120 Oct 12 22:54 eev-wrap.el -rw-r--r-- 1 edrx edrx 37476 Jan 13 16:02 eev-wrap.el.html -rw-r--r-- 1 edrx edrx 1676 Dec 23 03:36 eev.el -rw-r--r-- 1 edrx edrx 2433 Jan 13 16:02 eev.el.html -rw-r--r-- 1 edrx edrx 4957 Jun 25 2022 eev2-all.el -rw-r--r-- 1 edrx edrx 11919 Jan 13 16:02 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 Jan 13 16:02 examples/ -rw-r--r-- 1 edrx edrx 979 Feb 22 2020 find-eev-update-links -rw-r--r-- 1 edrx edrx 2376 Jan 13 16:02 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 Jan 13 16:02 htmlize-all.el.html -rw-r--r-- 1 edrx edrx 28666 Feb 22 2020 htmlize-eev.el -rw-r--r-- 1 edrx edrx 31967 Jan 13 16:02 htmlize-eev.el.html drwxr-xr-x 3 edrx edrx 4096 Jan 13 16:02 rcfiles/ drwxr-xr-x 2 edrx edrx 4096 Aug 22 2005 slides/ drwxr-xr-x 2 edrx edrx 4096 Jan 13 16:02 tmp/