drwxr-xr-x 2 edrx edrx 4096 Aug 2 21:22 ./ drwxr-xr-x 315 edrx edrx 65536 Aug 2 21:24 ../ -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 Aug 2 21:22 .files.sh.html -rw-r--r-- 1 edrx edrx 5417 Feb 21 2020 Makefile -rw-r--r-- 1 edrx edrx 7684 Aug 2 21:22 Makefile.html -rw-r--r-- 1 edrx edrx 59437 May 23 22:14 anggdefs.lua -rw-r--r-- 1 edrx edrx 89654 Aug 2 21:22 anggdefs.lua.html -rw-r--r-- 1 edrx edrx 22245 Feb 15 20:46 angglisp.lua -rw-r--r-- 1 edrx edrx 40436 Aug 2 21:22 angglisp.lua.html -rw-r--r-- 1 edrx edrx 153268 Aug 2 20:34 anggmake.lua -rw-r--r-- 1 edrx edrx 162690 Aug 2 21:22 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 Aug 2 21:22 blogme3.el.html -rw-r--r-- 1 edrx edrx 46888 Aug 2 21:20 blogme3.html -rw-r--r-- 1 edrx edrx 3893 Jan 27 2023 blogme3.lua -rw-r--r-- 1 edrx edrx 7758 Aug 2 21:22 blogme3.lua.html -rw-r--r-- 1 edrx edrx 6675 Feb 21 2020 blogme3.txt -rw-r--r-- 1 edrx edrx 7483 Aug 2 21:22 blogme3.txt.html -rw-r--r-- 1 edrx edrx 2757 Feb 21 2020 blogme4.lua -rw-r--r-- 1 edrx edrx 3930 Aug 2 21:22 blogme4.lua.html -rw-r--r-- 1 edrx edrx 11080 Jan 27 2023 brackets.lua -rw-r--r-- 1 edrx edrx 14133 Aug 2 21:22 brackets.lua.html -rw-r--r-- 1 edrx edrx 2393 Jan 27 2023 charset.lua -rw-r--r-- 1 edrx edrx 4680 Aug 2 21:22 charset.lua.html -rw-r--r-- 1 edrx edrx 55054 Sep 22 2024 clhs-symbols.lua -rw-r--r-- 1 edrx edrx 56512 Aug 2 21:22 clhs-symbols.lua.html -rw-r--r-- 1 edrx edrx 68360 Feb 16 21:01 code-etex-tlas.lua -rw-r--r-- 1 edrx edrx 70132 Aug 2 21:22 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 Aug 2 21:22 cruft-jan2024.lua.html -rw-r--r-- 1 edrx edrx 9807 Jan 30 2023 definers.lua -rw-r--r-- 1 edrx edrx 12773 Aug 2 21:22 definers.lua.html -rw-r--r-- 1 edrx edrx 14605 Jun 17 20:40 defs-2022.lua -rw-r--r-- 1 edrx edrx 24741 Aug 2 21:22 defs-2022.lua.html -rw-r--r-- 1 edrx edrx 4606 Jan 27 2023 detect-encoding.lua -rw-r--r-- 1 edrx edrx 8131 Aug 2 21:22 detect-encoding.lua.html -rw-r--r-- 1 edrx edrx 89349 Mar 26 16:32 edrxlib.lua -rw-r--r-- 1 edrx edrx 172863 Aug 2 21:22 edrxlib.lua.html -rw-r--r-- 1 edrx edrx 5355 Aug 13 2021 eevintros.lua -rw-r--r-- 1 edrx edrx 10597 Aug 2 21:22 eevintros.lua.html -rw-r--r-- 1 edrx edrx 13024 Jan 27 2023 elisp.lua -rw-r--r-- 1 edrx edrx 19289 Aug 2 21:22 elisp.lua.html -rw-r--r-- 1 edrx edrx 7961 Jan 27 2023 escripts.lua -rw-r--r-- 1 edrx edrx 12749 Aug 2 21:22 escripts.lua.html -rw-r--r-- 1 edrx edrx 9272 Jan 27 2023 facebook.lua -rw-r--r-- 1 edrx edrx 11856 Aug 2 21:22 facebook.lua.html -rw-r--r-- 1 edrx edrx 3400 Feb 21 2020 html5-audio-mini.js -rw-r--r-- 1 edrx edrx 4321 Aug 2 21:22 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 Aug 2 21:22 html5-audio.js.html -rw-r--r-- 1 edrx edrx 4933 Jan 27 2023 htmlize-utf8.lua -rw-r--r-- 1 edrx edrx 9629 Aug 2 21:22 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 Aug 2 21:22 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 Aug 2 21:22 local-videos.blogme.html -rw-r--r-- 1 edrx edrx 3779 Feb 21 2020 local-videos.js -rw-r--r-- 1 edrx edrx 4942 Aug 2 21:22 local-videos.js.html -rw-r--r-- 1 edrx edrx 206 Jan 27 2023 localvideos.lua -rw-r--r-- 1 edrx edrx 707 Aug 2 21:22 localvideos.lua.html -rw-r--r-- 1 edrx edrx 1093 Jan 27 2023 lstoindexhtml.lua -rw-r--r-- 1 edrx edrx 2229 Aug 2 21:22 lstoindexhtml.lua.html -rw-r--r-- 1 edrx edrx 1747 Jan 27 2023 makefile.lua -rw-r--r-- 1 edrx edrx 2655 Aug 2 21:22 makefile.lua.html -rw-r--r-- 1 edrx edrx 238899 Aug 1 2025 maxima-index-html.lisp -rw-r--r-- 1 edrx edrx 239863 Aug 2 21:22 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 5119 Aug 2 21:22 maxima-index-html.lua.html -rw-r--r-- 1 edrx edrx 1766 Jan 27 2023 maxima.lua -rw-r--r-- 1 edrx edrx 2977 Aug 2 21:22 maxima.lua.html -rw-r--r-- 1 edrx edrx 1763 Feb 21 2020 miniforth3.abs.txt -rw-r--r-- 1 edrx edrx 2395 Aug 2 21:22 miniforth3.abs.txt.html -rw-r--r-- 1 edrx edrx 1645 Jan 27 2023 miniforth3.lua -rw-r--r-- 1 edrx edrx 2279 Aug 2 21:22 miniforth3.lua.html -rw-r--r-- 1 edrx edrx 8720 Jan 27 2023 notes.e.lua -rw-r--r-- 1 edrx edrx 12185 Aug 2 21:22 notes.e.lua.html -rw-r--r-- 1 edrx edrx 8102 Nov 9 2024 options.lua -rw-r--r-- 1 edrx edrx 13401 Aug 2 21:22 options.lua.html -rw-r--r-- 1 edrx edrx 2217 Jan 27 2023 rumilisp.lua -rw-r--r-- 1 edrx edrx 3826 Aug 2 21:22 rumilisp.lua.html -rw-r--r-- 1 edrx edrx 3686 Jan 27 2023 rumimake.lua -rw-r--r-- 1 edrx edrx 6676 Aug 2 21:22 rumimake.lua.html -rw-r--r-- 1 edrx edrx 2802 Aug 2 2024 sandwiches-all.lua -rw-r--r-- 1 edrx edrx 8167 Aug 2 21:22 sandwiches-all.lua.html -rw-r--r-- 1 edrx edrx 75365 Feb 23 05:10 sandwiches-defs.lua -rw-r--r-- 1 edrx edrx 144605 Aug 2 21:22 sandwiches-defs.lua.html -rw-r--r-- 1 edrx edrx 27495 Mar 1 21:31 sandwiches-videos.lua -rw-r--r-- 1 edrx edrx 40335 Aug 2 21:22 sandwiches-videos.lua.html -rw-r--r-- 1 edrx edrx 25595 Jan 4 2025 sandwiches.lua -rw-r--r-- 1 edrx edrx 41590 Aug 2 21:22 sandwiches.lua.html -rw-r--r-- 1 edrx edrx 7799 Oct 27 2024 sexp.lua -rw-r--r-- 1 edrx edrx 15163 Aug 2 21:22 sexp.lua.html -rw-r--r-- 1 edrx edrx 3664 Jan 27 2023 sexpdefs.lua -rw-r--r-- 1 edrx edrx 7184 Aug 2 21:22 sexpdefs.lua.html -rw-r--r-- 1 edrx edrx 2389 Feb 21 2020 sexpskeleton.c -rw-r--r-- 1 edrx edrx 4171 Aug 2 21:22 sexpskeleton.c.html -rw-r--r-- 1 edrx edrx 5316 Dec 17 2025 videoindex.lua -rw-r--r-- 1 edrx edrx 6633 Aug 2 21:22 videoindex.lua.html -rw-r--r-- 1 edrx edrx 17583 Jan 27 2023 youtube.lua -rw-r--r-- 1 edrx edrx 18785 Aug 2 21:22 youtube.lua.html