drwxr-xr-x 2 edrx edrx 4096 Jul 25 22:15 ./ drwxr-xr-x 290 edrx edrx 36864 Jul 25 22:16 ../ -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 Jul 25 22:15 .files.sh.html -rw-r--r-- 1 edrx edrx 5417 Feb 21 2020 Makefile -rw-r--r-- 1 edrx edrx 7684 Jul 25 22:15 Makefile.html -rw-r--r-- 1 edrx edrx 58847 Jan 23 2024 anggdefs.lua -rw-r--r-- 1 edrx edrx 88728 Jul 25 22:15 anggdefs.lua.html -rw-r--r-- 1 edrx edrx 22023 May 30 04:15 angglisp.lua -rw-r--r-- 1 edrx edrx 39976 Jul 25 22:15 angglisp.lua.html -rw-r--r-- 1 edrx edrx 123737 Jul 25 21:50 anggmake.lua -rw-r--r-- 1 edrx edrx 133159 Jul 25 22:15 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 Jul 25 22:15 blogme3.el.html -rw-r--r-- 1 edrx edrx 46643 Jul 25 22:13 blogme3.html -rw-r--r-- 1 edrx edrx 3893 Jan 27 2023 blogme3.lua -rw-r--r-- 1 edrx edrx 7757 Jul 25 22:15 blogme3.lua.html -rw-r--r-- 1 edrx edrx 6675 Feb 21 2020 blogme3.txt -rw-r--r-- 1 edrx edrx 7483 Jul 25 22:15 blogme3.txt.html -rw-r--r-- 1 edrx edrx 2757 Feb 21 2020 blogme4.lua -rw-r--r-- 1 edrx edrx 3930 Jul 25 22:15 blogme4.lua.html -rw-r--r-- 1 edrx edrx 11080 Jan 27 2023 brackets.lua -rw-r--r-- 1 edrx edrx 14133 Jul 25 22:15 brackets.lua.html -rw-r--r-- 1 edrx edrx 2393 Jan 27 2023 charset.lua -rw-r--r-- 1 edrx edrx 4680 Jul 25 22:15 charset.lua.html -rw-r--r-- 1 edrx edrx 22916 Feb 22 08:57 cruft-jan2024.lua -rw-r--r-- 1 edrx edrx 33328 Jul 25 22:15 cruft-jan2024.lua.html -rw-r--r-- 1 edrx edrx 9807 Jan 30 2023 definers.lua -rw-r--r-- 1 edrx edrx 12772 Jul 25 22:15 definers.lua.html -rw-r--r-- 1 edrx edrx 6452 Mar 22 10:15 defs-2022.lua -rw-r--r-- 1 edrx edrx 11217 Jul 25 22:15 defs-2022.lua.html -rw-r--r-- 1 edrx edrx 4606 Jan 27 2023 detect-encoding.lua -rw-r--r-- 1 edrx edrx 8131 Jul 25 22:15 detect-encoding.lua.html -rw-r--r-- 1 edrx edrx 109370 Jan 12 2024 edrxlib.lua -rw-r--r-- 1 edrx edrx 192142 Jul 25 22:15 edrxlib.lua.html -rw-r--r-- 1 edrx edrx 5355 Aug 13 2021 eevintros.lua -rw-r--r-- 1 edrx edrx 10523 Jul 25 22:15 eevintros.lua.html -rw-r--r-- 1 edrx edrx 13024 Jan 27 2023 elisp.lua -rw-r--r-- 1 edrx edrx 19289 Jul 25 22:15 elisp.lua.html -rw-r--r-- 1 edrx edrx 7961 Jan 27 2023 escripts.lua -rw-r--r-- 1 edrx edrx 12749 Jul 25 22:15 escripts.lua.html -rw-r--r-- 1 edrx edrx 9272 Jan 27 2023 facebook.lua -rw-r--r-- 1 edrx edrx 11856 Jul 25 22:15 facebook.lua.html -rw-r--r-- 1 edrx edrx 3400 Feb 21 2020 html5-audio-mini.js -rw-r--r-- 1 edrx edrx 4321 Jul 25 22:15 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 Jul 25 22:15 html5-audio.js.html -rw-r--r-- 1 edrx edrx 4933 Jan 27 2023 htmlize-utf8.lua -rw-r--r-- 1 edrx edrx 9629 Jul 25 22:15 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 Jul 25 22:15 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 Jul 25 22:15 local-videos.blogme.html -rw-r--r-- 1 edrx edrx 3779 Feb 21 2020 local-videos.js -rw-r--r-- 1 edrx edrx 4942 Jul 25 22:15 local-videos.js.html -rw-r--r-- 1 edrx edrx 206 Jan 27 2023 localvideos.lua -rw-r--r-- 1 edrx edrx 707 Jul 25 22:15 localvideos.lua.html -rw-r--r-- 1 edrx edrx 1093 Jan 27 2023 lstoindexhtml.lua -rw-r--r-- 1 edrx edrx 2229 Jul 25 22:15 lstoindexhtml.lua.html -rw-r--r-- 1 edrx edrx 1747 Jan 27 2023 makefile.lua -rw-r--r-- 1 edrx edrx 2655 Jul 25 22:15 makefile.lua.html -rw-r--r-- 1 edrx edrx 190952 Oct 8 2023 maxima-index-html.lisp -rw-r--r-- 1 edrx edrx 191482 Jul 25 22:15 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 Jul 25 22:15 maxima-index-html.lua.html -rw-r--r-- 1 edrx edrx 1766 Jan 27 2023 maxima.lua -rw-r--r-- 1 edrx edrx 2977 Jul 25 22:15 maxima.lua.html -rw-r--r-- 1 edrx edrx 1763 Feb 21 2020 miniforth3.abs.txt -rw-r--r-- 1 edrx edrx 2395 Jul 25 22:15 miniforth3.abs.txt.html -rw-r--r-- 1 edrx edrx 1645 Jan 27 2023 miniforth3.lua -rw-r--r-- 1 edrx edrx 2279 Jul 25 22:15 miniforth3.lua.html -rw-r--r-- 1 edrx edrx 8720 Jan 27 2023 notes.e.lua -rw-r--r-- 1 edrx edrx 12185 Jul 25 22:15 notes.e.lua.html -rw-r--r-- 1 edrx edrx 8268 Jan 27 2023 options.lua -rw-r--r-- 1 edrx edrx 13461 Jul 25 22:15 options.lua.html -rw-r--r-- 1 edrx edrx 2217 Jan 27 2023 rumilisp.lua -rw-r--r-- 1 edrx edrx 3826 Jul 25 22:15 rumilisp.lua.html -rw-r--r-- 1 edrx edrx 3686 Jan 27 2023 rumimake.lua -rw-r--r-- 1 edrx edrx 6676 Jul 25 22:15 rumimake.lua.html -rw-r--r-- 1 edrx edrx 2530 Jan 27 2023 sandwiches-all.lua -rw-r--r-- 1 edrx edrx 6905 Jul 25 22:15 sandwiches-all.lua.html -rw-r--r-- 1 edrx edrx 64393 Jul 13 22:40 sandwiches-defs.lua -rw-r--r-- 1 edrx edrx 122271 Jul 25 22:15 sandwiches-defs.lua.html -rw-r--r-- 1 edrx edrx 18420 May 13 11:05 sandwiches-videos.lua -rw-r--r-- 1 edrx edrx 27102 Jul 25 22:15 sandwiches-videos.lua.html -rw-r--r-- 1 edrx edrx 24197 Feb 25 15:34 sandwiches.lua -rw-r--r-- 1 edrx edrx 38690 Jul 25 22:15 sandwiches.lua.html -rw-r--r-- 1 edrx edrx 7765 May 30 04:16 sexp.lua -rw-r--r-- 1 edrx edrx 15129 Jul 25 22:15 sexp.lua.html -rw-r--r-- 1 edrx edrx 3664 Jan 27 2023 sexpdefs.lua -rw-r--r-- 1 edrx edrx 7184 Jul 25 22:15 sexpdefs.lua.html -rw-r--r-- 1 edrx edrx 2389 Feb 21 2020 sexpskeleton.c -rw-r--r-- 1 edrx edrx 4171 Jul 25 22:15 sexpskeleton.c.html -rw-r--r-- 1 edrx edrx 4810 Jul 13 22:41 videoindex.lua -rw-r--r-- 1 edrx edrx 6127 Jul 25 22:15 videoindex.lua.html -rw-r--r-- 1 edrx edrx 17583 Jan 27 2023 youtube.lua -rw-r--r-- 1 edrx edrx 18785 Jul 25 22:15 youtube.lua.html