drwxr-xr-x   2 edrx edrx   4096 Mar 24 20:09 ./
drwxr-xr-x 308 edrx edrx  36864 Mar 24 20:10 ../
-rw-r--r--   1 edrx edrx    180 Feb 21  2020 .favicon.png
-rwxr-xr-x   1 edrx edrx   3925 Feb 21  2020 .files.sh*
-rw-r--r--   1 edrx edrx   8617 Mar 24 20:09 .files.sh.html
-rw-r--r--   1 edrx edrx   5417 Feb 21  2020 Makefile
-rw-r--r--   1 edrx edrx   7684 Mar 24 20:09 Makefile.html
-rw-r--r--   1 edrx edrx  59225 Nov  6 22:52 anggdefs.lua
-rw-r--r--   1 edrx edrx  89442 Mar 24 20:09 anggdefs.lua.html
-rw-r--r--   1 edrx edrx  22197 Nov  6 11:31 angglisp.lua
-rw-r--r--   1 edrx edrx  40388 Mar 24 20:09 angglisp.lua.html
-rw-r--r--   1 edrx edrx 134533 Mar 24 16:39 anggmake.lua
-rw-r--r--   1 edrx edrx 143955 Mar 24 20:09 anggmake.lua.html
-rw-r--r--   1 edrx edrx  34109 Feb 21  2020 blogme3.blogme
-rw-r--r--   1 edrx edrx    534 Feb 21  2020 blogme3.el
-rw-r--r--   1 edrx edrx   1386 Mar 24 20:09 blogme3.el.html
-rw-r--r--   1 edrx edrx  46888 Mar 24 20:07 blogme3.html
-rw-r--r--   1 edrx edrx   3893 Jan 27  2023 blogme3.lua
-rw-r--r--   1 edrx edrx   7758 Mar 24 20:09 blogme3.lua.html
-rw-r--r--   1 edrx edrx   6675 Feb 21  2020 blogme3.txt
-rw-r--r--   1 edrx edrx   7483 Mar 24 20:09 blogme3.txt.html
-rw-r--r--   1 edrx edrx   2757 Feb 21  2020 blogme4.lua
-rw-r--r--   1 edrx edrx   3930 Mar 24 20:09 blogme4.lua.html
-rw-r--r--   1 edrx edrx  11080 Jan 27  2023 brackets.lua
-rw-r--r--   1 edrx edrx  14133 Mar 24 20:09 brackets.lua.html
-rw-r--r--   1 edrx edrx   2393 Jan 27  2023 charset.lua
-rw-r--r--   1 edrx edrx   4680 Mar 24 20:09 charset.lua.html
-rw-r--r--   1 edrx edrx  55054 Sep 22  2024 clhs-symbols.lua
-rw-r--r--   1 edrx edrx  56512 Mar 24 20:09 clhs-symbols.lua.html
-rw-r--r--   1 edrx edrx  61302 Mar 20 20:40 code-etex-tlas.lua
-rw-r--r--   1 edrx edrx  63074 Mar 24 20:09 code-etex-tlas.lua.html
-rw-r--r--   1 edrx edrx  22916 Feb 22  2024 cruft-jan2024.lua
-rw-r--r--   1 edrx edrx  33328 Mar 24 20:09 cruft-jan2024.lua.html
-rw-r--r--   1 edrx edrx   9807 Jan 30  2023 definers.lua
-rw-r--r--   1 edrx edrx  12773 Mar 24 20:09 definers.lua.html
-rw-r--r--   1 edrx edrx   8823 Mar 22 14:04 defs-2022.lua
-rw-r--r--   1 edrx edrx  16114 Mar 24 20:09 defs-2022.lua.html
-rw-r--r--   1 edrx edrx   4606 Jan 27  2023 detect-encoding.lua
-rw-r--r--   1 edrx edrx   8131 Mar 24 20:09 detect-encoding.lua.html
-rw-r--r--   1 edrx edrx  87921 Nov 24 12:08 edrxlib.lua
-rw-r--r--   1 edrx edrx 171255 Mar 24 20:09 edrxlib.lua.html
-rw-r--r--   1 edrx edrx   5355 Aug 13  2021 eevintros.lua
-rw-r--r--   1 edrx edrx  10597 Mar 24 20:09 eevintros.lua.html
-rw-r--r--   1 edrx edrx  13024 Jan 27  2023 elisp.lua
-rw-r--r--   1 edrx edrx  19289 Mar 24 20:09 elisp.lua.html
-rw-r--r--   1 edrx edrx   7961 Jan 27  2023 escripts.lua
-rw-r--r--   1 edrx edrx  12749 Mar 24 20:09 escripts.lua.html
-rw-r--r--   1 edrx edrx   9272 Jan 27  2023 facebook.lua
-rw-r--r--   1 edrx edrx  11856 Mar 24 20:09 facebook.lua.html
-rw-r--r--   1 edrx edrx   3400 Feb 21  2020 html5-audio-mini.js
-rw-r--r--   1 edrx edrx   4321 Mar 24 20:09 html5-audio-mini.js.html
-rw-r--r--   1 edrx edrx   3187 Feb 21  2020 html5-audio.js
-rw-r--r--   1 edrx edrx   4479 Mar 24 20:09 html5-audio.js.html
-rw-r--r--   1 edrx edrx   4933 Jan 27  2023 htmlize-utf8.lua
-rw-r--r--   1 edrx edrx   9629 Mar 24 20:09 htmlize-utf8.lua.html
-rw-r--r--   1 edrx edrx   3954 Feb 21  2020 local-videos-mini.js
-rw-r--r--   1 edrx edrx   5013 Mar 24 20:09 local-videos-mini.js.html
-rw-r--r--   1 edrx edrx   6652 Feb 21  2020 local-videos.blogme
-rw-r--r--   1 edrx edrx   8945 Mar 24 20:09 local-videos.blogme.html
-rw-r--r--   1 edrx edrx   3779 Feb 21  2020 local-videos.js
-rw-r--r--   1 edrx edrx   4942 Mar 24 20:09 local-videos.js.html
-rw-r--r--   1 edrx edrx    206 Jan 27  2023 localvideos.lua
-rw-r--r--   1 edrx edrx    707 Mar 24 20:09 localvideos.lua.html
-rw-r--r--   1 edrx edrx   1093 Jan 27  2023 lstoindexhtml.lua
-rw-r--r--   1 edrx edrx   2229 Mar 24 20:09 lstoindexhtml.lua.html
-rw-r--r--   1 edrx edrx   1747 Jan 27  2023 makefile.lua
-rw-r--r--   1 edrx edrx   2655 Mar 24 20:09 makefile.lua.html
-rw-r--r--   1 edrx edrx 190952 Oct  8  2023 maxima-index-html.lisp
-rw-r--r--   1 edrx edrx 191482 Mar 24 20:09 maxima-index-html.lisp.html
-rw-r--r--   1 edrx edrx   2657 Oct  8  2023 maxima-index-html.lua
-rw-r--r--   1 edrx edrx   5111 Mar 24 20:09 maxima-index-html.lua.html
-rw-r--r--   1 edrx edrx   1766 Jan 27  2023 maxima.lua
-rw-r--r--   1 edrx edrx   2977 Mar 24 20:09 maxima.lua.html
-rw-r--r--   1 edrx edrx   1763 Feb 21  2020 miniforth3.abs.txt
-rw-r--r--   1 edrx edrx   2395 Mar 24 20:09 miniforth3.abs.txt.html
-rw-r--r--   1 edrx edrx   1645 Jan 27  2023 miniforth3.lua
-rw-r--r--   1 edrx edrx   2279 Mar 24 20:09 miniforth3.lua.html
-rw-r--r--   1 edrx edrx   8720 Jan 27  2023 notes.e.lua
-rw-r--r--   1 edrx edrx  12185 Mar 24 20:09 notes.e.lua.html
-rw-r--r--   1 edrx edrx   8102 Nov  9 23:54 options.lua
-rw-r--r--   1 edrx edrx  13401 Mar 24 20:09 options.lua.html
-rw-r--r--   1 edrx edrx   2217 Jan 27  2023 rumilisp.lua
-rw-r--r--   1 edrx edrx   3826 Mar 24 20:09 rumilisp.lua.html
-rw-r--r--   1 edrx edrx   3686 Jan 27  2023 rumimake.lua
-rw-r--r--   1 edrx edrx   6676 Mar 24 20:09 rumimake.lua.html
-rw-r--r--   1 edrx edrx   2802 Aug  2  2024 sandwiches-all.lua
-rw-r--r--   1 edrx edrx   8167 Mar 24 20:09 sandwiches-all.lua.html
-rw-r--r--   1 edrx edrx  73071 Mar 11 05:49 sandwiches-defs.lua
-rw-r--r--   1 edrx edrx 139378 Mar 24 20:09 sandwiches-defs.lua.html
-rw-r--r--   1 edrx edrx  24187 Dec 20 01:01 sandwiches-videos.lua
-rw-r--r--   1 edrx edrx  35559 Mar 24 20:09 sandwiches-videos.lua.html
-rw-r--r--   1 edrx edrx  25595 Jan  4 23:59 sandwiches.lua
-rw-r--r--   1 edrx edrx  41590 Mar 24 20:09 sandwiches.lua.html
-rw-r--r--   1 edrx edrx   7799 Oct 27 13:50 sexp.lua
-rw-r--r--   1 edrx edrx  15163 Mar 24 20:09 sexp.lua.html
-rw-r--r--   1 edrx edrx   3664 Jan 27  2023 sexpdefs.lua
-rw-r--r--   1 edrx edrx   7184 Mar 24 20:09 sexpdefs.lua.html
-rw-r--r--   1 edrx edrx   2389 Feb 21  2020 sexpskeleton.c
-rw-r--r--   1 edrx edrx   4171 Mar 24 20:09 sexpskeleton.c.html
-rw-r--r--   1 edrx edrx   5224 Mar 11 05:49 videoindex.lua
-rw-r--r--   1 edrx edrx   6541 Mar 24 20:09 videoindex.lua.html
-rw-r--r--   1 edrx edrx  17583 Jan 27  2023 youtube.lua
-rw-r--r--   1 edrx edrx  18785 Mar 24 20:09 youtube.lua.html