drwxr-xr-x 2 edrx edrx 4096 Nov 25 03:01 ./ drwxr-xr-x 306 edrx edrx 36864 Nov 25 03:01 ../ -rw-r--r-- 1 edrx edrx 180 Feb 22 2020 .favicon.png -rwxr-xr-x 1 edrx edrx 3925 Feb 22 2020 .files.sh* -rw-r--r-- 1 edrx edrx 8617 Nov 25 03:01 .files.sh.html -rw-r--r-- 1 edrx edrx 5417 Feb 22 2020 Makefile -rw-r--r-- 1 edrx edrx 7684 Nov 25 03:01 Makefile.html -rw-r--r-- 1 edrx edrx 59225 Nov 7 03:52 anggdefs.lua -rw-r--r-- 1 edrx edrx 89442 Nov 25 03:01 anggdefs.lua.html -rw-r--r-- 1 edrx edrx 22197 Nov 6 16:31 angglisp.lua -rw-r--r-- 1 edrx edrx 40388 Nov 25 03:01 angglisp.lua.html -rw-r--r-- 1 edrx edrx 129111 Nov 25 02:28 anggmake.lua -rw-r--r-- 1 edrx edrx 138533 Nov 25 03:01 anggmake.lua.html -rw-r--r-- 1 edrx edrx 34109 Feb 22 2020 blogme3.blogme -rw-r--r-- 1 edrx edrx 534 Feb 22 2020 blogme3.el -rw-r--r-- 1 edrx edrx 1386 Nov 25 03:01 blogme3.el.html -rw-r--r-- 1 edrx edrx 46888 Nov 25 02:59 blogme3.html -rw-r--r-- 1 edrx edrx 3893 Jan 28 2023 blogme3.lua -rw-r--r-- 1 edrx edrx 7758 Nov 25 03:01 blogme3.lua.html -rw-r--r-- 1 edrx edrx 6675 Feb 22 2020 blogme3.txt -rw-r--r-- 1 edrx edrx 7483 Nov 25 03:01 blogme3.txt.html -rw-r--r-- 1 edrx edrx 2757 Feb 22 2020 blogme4.lua -rw-r--r-- 1 edrx edrx 3930 Nov 25 03:01 blogme4.lua.html -rw-r--r-- 1 edrx edrx 11080 Jan 28 2023 brackets.lua -rw-r--r-- 1 edrx edrx 14133 Nov 25 03:01 brackets.lua.html -rw-r--r-- 1 edrx edrx 2393 Jan 28 2023 charset.lua -rw-r--r-- 1 edrx edrx 4680 Nov 25 03:01 charset.lua.html -rw-r--r-- 1 edrx edrx 55054 Sep 22 10:42 clhs-symbols.lua -rw-r--r-- 1 edrx edrx 56512 Nov 25 03:01 clhs-symbols.lua.html -rw-r--r-- 1 edrx edrx 57322 Nov 25 00:59 code-etex-tlas.lua -rw-r--r-- 1 edrx edrx 58752 Nov 25 03:01 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 Nov 25 03:01 cruft-jan2024.lua.html -rw-r--r-- 1 edrx edrx 9807 Jan 30 2023 definers.lua -rw-r--r-- 1 edrx edrx 12773 Nov 25 03:01 definers.lua.html -rw-r--r-- 1 edrx edrx 8727 Nov 9 15:56 defs-2022.lua -rw-r--r-- 1 edrx edrx 16000 Nov 25 03:01 defs-2022.lua.html -rw-r--r-- 1 edrx edrx 4606 Jan 28 2023 detect-encoding.lua -rw-r--r-- 1 edrx edrx 8131 Nov 25 03:01 detect-encoding.lua.html -rw-r--r-- 1 edrx edrx 87921 Nov 24 17:08 edrxlib.lua -rw-r--r-- 1 edrx edrx 171255 Nov 25 03:01 edrxlib.lua.html -rw-r--r-- 1 edrx edrx 5355 Aug 13 2021 eevintros.lua -rw-r--r-- 1 edrx edrx 10597 Nov 25 03:01 eevintros.lua.html -rw-r--r-- 1 edrx edrx 13024 Jan 28 2023 elisp.lua -rw-r--r-- 1 edrx edrx 19289 Nov 25 03:01 elisp.lua.html -rw-r--r-- 1 edrx edrx 7961 Jan 28 2023 escripts.lua -rw-r--r-- 1 edrx edrx 12749 Nov 25 03:01 escripts.lua.html -rw-r--r-- 1 edrx edrx 9272 Jan 28 2023 facebook.lua -rw-r--r-- 1 edrx edrx 11856 Nov 25 03:01 facebook.lua.html -rw-r--r-- 1 edrx edrx 3400 Feb 22 2020 html5-audio-mini.js -rw-r--r-- 1 edrx edrx 4321 Nov 25 03:01 html5-audio-mini.js.html -rw-r--r-- 1 edrx edrx 3187 Feb 22 2020 html5-audio.js -rw-r--r-- 1 edrx edrx 4479 Nov 25 03:01 html5-audio.js.html -rw-r--r-- 1 edrx edrx 4933 Jan 28 2023 htmlize-utf8.lua -rw-r--r-- 1 edrx edrx 9629 Nov 25 03:01 htmlize-utf8.lua.html -rw-r--r-- 1 edrx edrx 3954 Feb 22 2020 local-videos-mini.js -rw-r--r-- 1 edrx edrx 5013 Nov 25 03:01 local-videos-mini.js.html -rw-r--r-- 1 edrx edrx 6652 Feb 22 2020 local-videos.blogme -rw-r--r-- 1 edrx edrx 8945 Nov 25 03:01 local-videos.blogme.html -rw-r--r-- 1 edrx edrx 3779 Feb 22 2020 local-videos.js -rw-r--r-- 1 edrx edrx 4942 Nov 25 03:01 local-videos.js.html -rw-r--r-- 1 edrx edrx 206 Jan 28 2023 localvideos.lua -rw-r--r-- 1 edrx edrx 707 Nov 25 03:01 localvideos.lua.html -rw-r--r-- 1 edrx edrx 1093 Jan 28 2023 lstoindexhtml.lua -rw-r--r-- 1 edrx edrx 2229 Nov 25 03:01 lstoindexhtml.lua.html -rw-r--r-- 1 edrx edrx 1747 Jan 28 2023 makefile.lua -rw-r--r-- 1 edrx edrx 2655 Nov 25 03:01 makefile.lua.html -rw-r--r-- 1 edrx edrx 190952 Oct 8 2023 maxima-index-html.lisp -rw-r--r-- 1 edrx edrx 191482 Nov 25 03:01 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 Nov 25 03:01 maxima-index-html.lua.html -rw-r--r-- 1 edrx edrx 1766 Jan 28 2023 maxima.lua -rw-r--r-- 1 edrx edrx 2977 Nov 25 03:01 maxima.lua.html -rw-r--r-- 1 edrx edrx 1763 Feb 22 2020 miniforth3.abs.txt -rw-r--r-- 1 edrx edrx 2395 Nov 25 03:01 miniforth3.abs.txt.html -rw-r--r-- 1 edrx edrx 1645 Jan 28 2023 miniforth3.lua -rw-r--r-- 1 edrx edrx 2279 Nov 25 03:01 miniforth3.lua.html -rw-r--r-- 1 edrx edrx 8720 Jan 28 2023 notes.e.lua -rw-r--r-- 1 edrx edrx 12185 Nov 25 03:01 notes.e.lua.html -rw-r--r-- 1 edrx edrx 8102 Nov 10 04:54 options.lua -rw-r--r-- 1 edrx edrx 13401 Nov 25 03:01 options.lua.html -rw-r--r-- 1 edrx edrx 2217 Jan 28 2023 rumilisp.lua -rw-r--r-- 1 edrx edrx 3826 Nov 25 03:01 rumilisp.lua.html -rw-r--r-- 1 edrx edrx 3686 Jan 28 2023 rumimake.lua -rw-r--r-- 1 edrx edrx 6676 Nov 25 03:01 rumimake.lua.html -rw-r--r-- 1 edrx edrx 2802 Aug 2 20:29 sandwiches-all.lua -rw-r--r-- 1 edrx edrx 8167 Nov 25 03:01 sandwiches-all.lua.html -rw-r--r-- 1 edrx edrx 69988 Nov 10 05:02 sandwiches-defs.lua -rw-r--r-- 1 edrx edrx 133280 Nov 25 03:01 sandwiches-defs.lua.html -rw-r--r-- 1 edrx edrx 20756 Aug 19 01:58 sandwiches-videos.lua -rw-r--r-- 1 edrx edrx 30516 Nov 25 03:01 sandwiches-videos.lua.html -rw-r--r-- 1 edrx edrx 24784 Nov 15 18:02 sandwiches.lua -rw-r--r-- 1 edrx edrx 39277 Nov 25 03:01 sandwiches.lua.html -rw-r--r-- 1 edrx edrx 7799 Oct 27 17:50 sexp.lua -rw-r--r-- 1 edrx edrx 15163 Nov 25 03:01 sexp.lua.html -rw-r--r-- 1 edrx edrx 3664 Jan 28 2023 sexpdefs.lua -rw-r--r-- 1 edrx edrx 7184 Nov 25 03:01 sexpdefs.lua.html -rw-r--r-- 1 edrx edrx 2389 Feb 22 2020 sexpskeleton.c -rw-r--r-- 1 edrx edrx 4171 Nov 25 03:01 sexpskeleton.c.html -rw-r--r-- 1 edrx edrx 4948 Aug 19 01:57 videoindex.lua -rw-r--r-- 1 edrx edrx 6265 Nov 25 03:01 videoindex.lua.html -rw-r--r-- 1 edrx edrx 17583 Jan 28 2023 youtube.lua -rw-r--r-- 1 edrx edrx 18785 Nov 25 03:01 youtube.lua.html