drwxr-xr-x   6 edrx edrx       32768 Oct 29  2022 ./
drwxr-xr-x 312 edrx edrx       40960 Sep 14 19:54 ../
-rw-r--r--   1 edrx edrx        2544 Feb 21  2020 2013.2-ES-diags
-rw-r--r--   1 edrx edrx        4234 Sep 14 19:52 2013.2-ES-diags.html
-rw-r--r--   1 edrx edrx       15749 Jun 12  2022 2022-t.lua
-rw-r--r--   1 edrx edrx       17423 Sep 14 19:52 2022-t.lua.html
-rw-r--r--   1 edrx edrx        1013 Jan 26  2025 2025-lua-debugger-tutorial
-rw-r--r--   1 edrx edrx        3452 Sep 14 19:52 2025-lua-debugger-tutorial.html
-rw-r--r--   1 edrx edrx        1190 Mar  2  2022 8queens.lua
-rw-r--r--   1 edrx edrx        2255 Sep 14 19:52 8queens.lua.html
-rw-r--r--   1 edrx edrx        4392 Feb  7  2023 Abbrevs1.lua
-rw-r--r--   1 edrx edrx        6395 Sep 14 19:52 Abbrevs1.lua.html
-rw-r--r--   1 edrx edrx        2323 Apr  2  2024 Actions1.lua
-rw-r--r--   1 edrx edrx        4305 Sep 14 19:52 Actions1.lua.html
-rw-r--r--   1 edrx edrx        4929 Nov 20  2023 AnyOf1.lua
-rw-r--r--   1 edrx edrx        8573 Sep 14 19:52 AnyOf1.lua.html
-rw-r--r--   1 edrx edrx        4885 Mar  2  2022 Arith1.lua
-rw-r--r--   1 edrx edrx        7072 Sep 14 19:52 Arith1.lua.html
-rw-r--r--   1 edrx edrx        5913 Mar  4  2022 Arith2.lua
-rw-r--r--   1 edrx edrx        8167 Sep 14 19:52 Arith2.lua.html
-rw-r--r--   1 edrx edrx        6843 Mar  5  2022 Arith3.lua
-rw-r--r--   1 edrx edrx       10623 Sep 14 19:52 Arith3.lua.html
-rw-r--r--   1 edrx edrx        2593 Mar  7  2022 Arith4.lua
-rw-r--r--   1 edrx edrx        4189 Sep 14 19:52 Arith4.lua.html
-rw-r--r--   1 edrx edrx        1916 May  8  2022 Arith5.lua
-rw-r--r--   1 edrx edrx        3242 Sep 14 19:52 Arith5.lua.html
-rw-r--r--   1 edrx edrx        8574 Aug 28  2022 Arith6.lua
-rw-r--r--   1 edrx edrx       12605 Sep 14 19:52 Arith6.lua.html
-rw-r--r--   1 edrx edrx        9102 Apr 17  2023 Ast1.lua
-rw-r--r--   1 edrx edrx       13862 Sep 14 19:52 Ast1.lua.html
-rw-r--r--   1 edrx edrx       10655 Apr 17  2023 Ast2.lua
-rw-r--r--   1 edrx edrx       15800 Sep 14 19:52 Ast2.lua.html
-rw-r--r--   1 edrx edrx        6459 Apr 20  2023 Ast3.lua
-rw-r--r--   1 edrx edrx       10475 Sep 14 19:52 Ast3.lua.html
-rw-r--r--   1 edrx edrx        4937 Apr 17  2023 Ast4.lua
-rw-r--r--   1 edrx edrx        7104 Sep 14 19:52 Ast4.lua.html
-rw-r--r--   1 edrx edrx        2614 Apr 24  2023 Ast5.lua
-rw-r--r--   1 edrx edrx        4279 Sep 14 19:52 Ast5.lua.html
-rw-r--r--   1 edrx edrx        4506 Sep  4  2023 Ast6.lua
-rw-r--r--   1 edrx edrx        6038 Sep 14 19:52 Ast6.lua.html
-rw-r--r--   1 edrx edrx        1227 Jan  7  2024 Basic1.lua
-rw-r--r--   1 edrx edrx        2294 Sep 14 19:52 Basic1.lua.html
-rw-r--r--   1 edrx edrx        1147 Sep  7  2022 BinarySearch1.lua
-rw-r--r--   1 edrx edrx        2251 Sep 14 19:52 BinarySearch1.lua.html
-rw-r--r--   1 edrx edrx       26448 Jun 17 01:24 BlogMe3.lua
-rw-r--r--   1 edrx edrx       39884 Sep 14 19:52 BlogMe3.lua.html
-rw-r--r--   1 edrx edrx        5471 Jul 13  2022 C2Formulas1.lua
-rw-r--r--   1 edrx edrx       12828 Sep 14 19:52 C2Formulas1.lua.html
-rw-r--r--   1 edrx edrx        1034 Apr  7 11:34 C2Intro1.lua
-rw-r--r--   1 edrx edrx        2220 Sep 14 19:52 C2Intro1.lua.html
-rw-r--r--   1 edrx edrx       15374 Jul 13  2022 C2Subst1.lua
-rw-r--r--   1 edrx edrx       24584 Sep 14 19:52 C2Subst1.lua.html
-rw-r--r--   1 edrx edrx        7080 Jan 19  2024 CLua1.lua
-rw-r--r--   1 edrx edrx       11250 Sep 14 19:52 CLua1.lua.html
-rw-r--r--   1 edrx edrx       10187 Apr  2  2024 CME2.lua
-rw-r--r--   1 edrx edrx       20072 Sep 14 19:52 CME2.lua.html
-rw-r--r--   1 edrx edrx        9104 Apr  4  2024 CME3.lua
-rw-r--r--   1 edrx edrx       17360 Sep 14 19:52 CME3.lua.html
-rw-r--r--   1 edrx edrx        7660 Sep 28  2022 Cabos1.lua
-rw-r--r--   1 edrx edrx       10820 Sep 14 19:52 Cabos1.lua.html
-rw-r--r--   1 edrx edrx        5140 Oct 20  2023 Cabos2.lua
-rw-r--r--   1 edrx edrx        9210 Sep 14 19:52 Cabos2.lua.html
-rw-r--r--   1 edrx edrx        9502 Nov 20  2023 Cabos3.lua
-rw-r--r--   1 edrx edrx       13350 Sep 14 19:52 Cabos3.lua.html
-rw-r--r--   1 edrx edrx        4268 Sep 27  2022 CabosNaDiagonal.lua
-rw-r--r--   1 edrx edrx        6311 Sep 14 19:52 CabosNaDiagonal.lua.html
-rw-r--r--   1 edrx edrx       25439 Feb 14  2023 Caepro1.lua
-rw-r--r--   1 edrx edrx       33488 Sep 14 19:52 Caepro1.lua.html
-rw-r--r--   1 edrx edrx       30859 Apr  9  2023 Caepro2.lua
-rw-r--r--   1 edrx edrx       49837 Sep 14 19:52 Caepro2.lua.html
-rw-r--r--   1 edrx edrx       17189 Jun  2  2023 Caepro3.lua
-rw-r--r--   1 edrx edrx       26120 Sep 14 19:52 Caepro3.lua.html
-rw-r--r--   1 edrx edrx       15764 Nov 30  2023 Caepro4.lua
-rw-r--r--   1 edrx edrx       25090 Sep 14 19:52 Caepro4.lua.html
-rw-r--r--   1 edrx edrx        4246 Nov 25  2023 Caepro5-blogme.lua
-rw-r--r--   1 edrx edrx        7537 Sep 14 19:52 Caepro5-blogme.lua.html
-rw-r--r--   1 edrx edrx       31494 Sep  8 00:40 Caepro5.lua
-rw-r--r--   1 edrx edrx       47132 Sep 14 19:52 Caepro5.lua.html
-rw-r--r--   1 edrx edrx        4286 Sep 26  2023 CaeproLisp1.lua
-rw-r--r--   1 edrx edrx        7919 Sep 14 19:52 CaeproLisp1.lua.html
-rw-r--r--   1 edrx edrx        2359 May  7 01:58 Caixinhas1.lua
-rw-r--r--   1 edrx edrx        3533 Sep 14 19:52 Caixinhas1.lua.html
-rw-r--r--   1 edrx edrx       13567 Mar  4  2024 Calendar1.lua
-rw-r--r--   1 edrx edrx       19058 Sep 14 19:52 Calendar1.lua.html
-rw-r--r--   1 edrx edrx       15142 Mar 22  2024 Calendar2.lua
-rw-r--r--   1 edrx edrx       21253 Sep 14 19:52 Calendar2.lua.html
-rw-r--r--   1 edrx edrx       16845 Jan 21  2025 Calendar3.lua
-rw-r--r--   1 edrx edrx       25926 Sep 14 19:52 Calendar3.lua.html
-rw-r--r--   1 edrx edrx       20313 Aug 26 13:39 Calendar4.lua
-rw-r--r--   1 edrx edrx       31420 Sep 14 19:52 Calendar4.lua.html
-rw-r--r--   1 edrx edrx       13383 Nov 25  2023 Capts1.lua
-rw-r--r--   1 edrx edrx       22736 Sep 14 19:52 Capts1.lua.html
-rw-r--r--   1 edrx edrx         357 Aug 18  2023 Capts2.lua
-rw-r--r--   1 edrx edrx        1200 Sep 14 19:52 Capts2.lua.html
-rw-r--r--   1 edrx edrx        5006 Apr 30 22:17 Clhs1.lua
-rw-r--r--   1 edrx edrx       14328 Sep 14 19:52 Clhs1.lua.html
-rw-r--r--   1 edrx edrx        3059 Feb 11  2024 Co1.lua
-rw-r--r--   1 edrx edrx        5877 Sep 14 19:52 Co1.lua.html
-rw-r--r--   1 edrx edrx        3443 Jan  8  2024 Code.lua
-rw-r--r--   1 edrx edrx        5453 Sep 14 19:52 Code.lua.html
-rw-r--r--   1 edrx edrx        4030 Jan 12  2024 Code2.lua
-rw-r--r--   1 edrx edrx        6346 Sep 14 19:52 Code2.lua.html
-rw-r--r--   1 edrx edrx        3708 Nov 10  2024 CodeEtexTla.lua
-rw-r--r--   1 edrx edrx       10085 Sep 14 19:52 CodeEtexTla.lua.html
-rw-r--r--   1 edrx edrx        3538 Jun 11  2023 Comissao1.lua
-rw-r--r--   1 edrx edrx        5598 Sep 14 19:52 Comissao1.lua.html
-rw-r--r--   1 edrx edrx       12361 Sep 13 16:54 Comprehensions1.lua
-rw-r--r--   1 edrx edrx       18274 Sep 14 19:52 Comprehensions1.lua.html
-rw-r--r--   1 edrx edrx        2434 Feb  3  2024 CoroRepl1.lua
-rw-r--r--   1 edrx edrx        4102 Sep 14 19:52 CoroRepl1.lua.html
-rw-r--r--   1 edrx edrx        4810 Feb  4  2024 CoroRepl2.lua
-rw-r--r--   1 edrx edrx        8884 Sep 14 19:52 CoroRepl2.lua.html
-rw-r--r--   1 edrx edrx        6457 Sep 22  2021 DFS-old.lua
-rw-r--r--   1 edrx edrx        8336 Sep 14 19:52 DFS-old.lua.html
-rw-r--r--   1 edrx edrx        6462 Sep 22  2021 DFS.lua
-rw-r--r--   1 edrx edrx        8457 Sep 14 19:52 DFS.lua.html
-rw-r--r--   1 edrx edrx        1772 Sep 19  2021 DFSTriangle.lua
-rw-r--r--   1 edrx edrx        2520 Sep 14 19:52 DFSTriangle.lua.html
-rw-r--r--   1 edrx edrx        9027 Nov 11  2023 DGetInfo1.lua
-rw-r--r--   1 edrx edrx       13662 Sep 14 19:52 DGetInfo1.lua.html
-rw-r--r--   1 edrx edrx        3271 Jan 13  2024 Dang1.lua
-rw-r--r--   1 edrx edrx        5712 Sep 14 19:52 Dang1.lua.html
-rw-r--r--   1 edrx edrx        1307 Jan 20  2024 DangBlogme1.lua
-rw-r--r--   1 edrx edrx        2718 Sep 14 19:52 DangBlogme1.lua.html
-rw-r--r--   1 edrx edrx         699 Jan 26  2025 DbgTest1.lua
-rw-r--r--   1 edrx edrx        1766 Sep 14 19:52 DbgTest1.lua.html
-rw-r--r--   1 edrx edrx       14148 Sep 12  2024 Dednat7.lua
-rw-r--r--   1 edrx edrx       24450 Sep 14 19:52 Dednat7.lua.html
-rw-r--r--   1 edrx edrx        1686 Sep  8  2024 Dednat7oldheads.lua
-rw-r--r--   1 edrx edrx        4912 Sep 14 19:52 Dednat7oldheads.lua.html
-rw-r--r--   1 edrx edrx        2624 Sep 11  2024 DednatPreamble1.lua
-rw-r--r--   1 edrx edrx        4794 Sep 14 19:52 DednatPreamble1.lua.html
-rw-r--r--   1 edrx edrx        5864 Nov 24  2024 DednatRequire1.lua
-rw-r--r--   1 edrx edrx       10305 Sep 14 19:52 DednatRequire1.lua.html
-rw-r--r--   1 edrx edrx        3468 Feb  8  2023 DeleteComments1.lua
-rw-r--r--   1 edrx edrx        5662 Sep 14 19:52 DeleteComments1.lua.html
-rw-r--r--   1 edrx edrx        2084 Mar 15  2024 DeleteComments2.lua
-rw-r--r--   1 edrx edrx        3884 Sep 14 19:52 DeleteComments2.lua.html
-rw-r--r--   1 edrx edrx        2221 Dec 24  2024 DeleteComments3.lua
-rw-r--r--   1 edrx edrx        4404 Sep 14 19:52 DeleteComments3.lua.html
-rwxr-xr-x   1 edrx edrx        2891 Nov 24  2024 Deps1.lua*
-rw-r--r--   1 edrx edrx        5746 Sep 14 19:52 Deps1.lua.html
-rw-r--r--   1 edrx edrx       15755 Sep  3  2023 ELLua1.lua
-rw-r--r--   1 edrx edrx       23419 Sep 14 19:52 ELLua1.lua.html
-rw-r--r--   1 edrx edrx        8935 Dec 16  2023 ELpeg-cme1.lua
-rw-r--r--   1 edrx edrx       13078 Sep 14 19:52 ELpeg-cme1.lua.html
-rw-r--r--   1 edrx edrx        2723 May  8  2023 ELpeg-lambda1.lua
-rw-r--r--   1 edrx edrx        4301 Sep 14 19:52 ELpeg-lambda1.lua.html
-rw-r--r--   1 edrx edrx       32922 Aug  4  2024 ELpeg1.lua
-rw-r--r--   1 edrx edrx       53029 Sep 14 19:52 ELpeg1.lua.html
-rw-r--r--   1 edrx edrx        2343 Nov 23  2023 ELpeg2.lua
-rw-r--r--   1 edrx edrx        3863 Sep 14 19:52 ELpeg2.lua.html
-rw-r--r--   1 edrx edrx        2309 Nov 23  2023 ELpeg3.lua
-rw-r--r--   1 edrx edrx        4487 Sep 14 19:52 ELpeg3.lua.html
-rw-r--r--   1 edrx edrx        4216 Jul  2  2022 EScript.lua
-rw-r--r--   1 edrx edrx        5730 Sep 14 19:52 EScript.lua.html
-rw-r--r--   1 edrx edrx         362 Nov 27  2022 EmacsClient1.lua
-rw-r--r--   1 edrx edrx        1244 Sep 14 19:52 EmacsClient1.lua.html
-rw-r--r--   1 edrx edrx        3736 Dec 13  2023 EmacsConf2023.lua
-rw-r--r--   1 edrx edrx        6331 Sep 14 19:52 EmacsConf2023.lua.html
-rw-r--r--   1 edrx edrx        5077 Mar 27  2024 Escadas1.lua
-rw-r--r--   1 edrx edrx       10227 Sep 14 19:52 Escadas1.lua.html
-rw-r--r--   1 edrx edrx        8791 Jul  5  2023 Estatistica1.lua
-rw-r--r--   1 edrx edrx       17147 Sep 14 19:52 Estatistica1.lua.html
-rw-r--r--   1 edrx edrx        5034 Nov 24  2024 ExprDxDy1.lua
-rw-r--r--   1 edrx edrx        9809 Sep 14 19:52 ExprDxDy1.lua.html
-rw-r--r--   1 edrx edrx        8309 Oct 20  2021 Fitch-old.lua
-rw-r--r--   1 edrx edrx        9620 Sep 14 19:52 Fitch-old.lua.html
-rw-r--r--   1 edrx edrx        4322 Oct 22  2021 Fitch.lua
-rw-r--r--   1 edrx edrx        5453 Sep 14 19:52 Fitch.lua.html
-rw-r--r--   1 edrx edrx        1401 Nov  4  2023 Fold1.lua
-rw-r--r--   1 edrx edrx        2855 Sep 14 19:52 Fold1.lua.html
-rw-r--r--   1 edrx edrx        4538 Nov 25  2023 Freeze1.lua
-rw-r--r--   1 edrx edrx        9187 Sep 14 19:52 Freeze1.lua.html
-rw-r--r--   1 edrx edrx        1857 Sep 14 09:48 Gdb1.c
-rw-r--r--   1 edrx edrx        3424 Sep 14 19:52 Gdb1.c.html
-rw-r--r--   1 edrx edrx         567 Sep 14 09:18 Gdb1.el
-rw-r--r--   1 edrx edrx        1422 Sep 14 19:52 Gdb1.el.html
-rw-r--r--   1 edrx edrx         556 Sep 11 16:02 Gdb1.gdb
-rw-r--r--   1 edrx edrx        1383 Sep 14 19:52 Gdb1.gdb.html
-rw-r--r--   1 edrx edrx         816 Sep 13 00:59 Gdb1.lua
-rw-r--r--   1 edrx edrx        2006 Sep 14 19:52 Gdb1.lua.html
-rw-r--r--   1 edrx edrx        8826 Jul 16  2022 GetInfo.lua
-rw-r--r--   1 edrx edrx       14234 Sep 14 19:52 GetInfo.lua.html
-rw-r--r--   1 edrx edrx        5747 Sep  7  2022 GetInfo2.lua
-rw-r--r--   1 edrx edrx        7734 Sep 14 19:52 GetInfo2.lua.html
-rw-r--r--   1 edrx edrx        2146 Dec 13  2023 GetOpt1.lua
-rw-r--r--   1 edrx edrx        3859 Sep 14 19:52 GetOpt1.lua.html
-rw-r--r--   1 edrx edrx        2493 May 26  2023 Globals1.lua
-rw-r--r--   1 edrx edrx        4821 Sep 14 19:52 Globals1.lua.html
-rw-r--r--   1 edrx edrx        4484 Mar 15  2024 Gram1.lua
-rw-r--r--   1 edrx edrx        7578 Sep 14 19:52 Gram1.lua.html
-rw-r--r--   1 edrx edrx       24332 Apr 20  2023 Gram2.lua
-rw-r--r--   1 edrx edrx       37468 Sep 14 19:52 Gram2.lua.html
-rw-r--r--   1 edrx edrx        8464 Aug 27  2023 Gram3.lua
-rw-r--r--   1 edrx edrx       16452 Sep 14 19:52 Gram3.lua.html
-rw-r--r--   1 edrx edrx        2877 Sep 10  2024 Gram4.lua
-rw-r--r--   1 edrx edrx        5214 Sep 14 19:52 Gram4.lua.html
-rw-r--r--   1 edrx edrx         508 Oct  6  2022 ImagensDeIntervalos1.lua
-rw-r--r--   1 edrx edrx        1660 Sep 14 19:52 ImagensDeIntervalos1.lua.html
-rw-r--r--   1 edrx edrx       11608 Nov 10  2023 Indent1.lua
-rw-r--r--   1 edrx edrx       19422 Sep 14 19:52 Indent1.lua.html
-rw-r--r--   1 edrx edrx       10840 Dec  2  2023 Indent2.lua
-rw-r--r--   1 edrx edrx       14704 Sep 14 19:52 Indent2.lua.html
-rw-r--r--   1 edrx edrx        5086 Nov 16  2021 Interpret.lua
-rw-r--r--   1 edrx edrx        7533 Sep 14 19:52 Interpret.lua.html
-rw-r--r--   1 edrx edrx        1287 Mar 27 21:38 JumpingFrogs1.lua
-rw-r--r--   1 edrx edrx        2618 Sep 14 19:52 JumpingFrogs1.lua.html
-rw-r--r--   1 edrx edrx        9713 Dec 17  2023 LPex1.lua
-rw-r--r--   1 edrx edrx       17282 Sep 14 19:52 LPex1.lua.html
-rw-r--r--   1 edrx edrx        6400 Jul 17  2022 Lazy1.lua
-rw-r--r--   1 edrx edrx        8756 Sep 14 19:52 Lazy1.lua.html
-rw-r--r--   1 edrx edrx       17227 Jul 20  2022 Lazy2.lua
-rw-r--r--   1 edrx edrx       26422 Sep 14 19:52 Lazy2.lua.html
-rw-r--r--   1 edrx edrx        8593 Jul 20  2022 Lazy3.lua
-rw-r--r--   1 edrx edrx       14858 Sep 14 19:52 Lazy3.lua.html
-rw-r--r--   1 edrx edrx        9710 Jul 21  2022 Lazy4.lua
-rw-r--r--   1 edrx edrx       17411 Sep 14 19:52 Lazy4.lua.html
-rw-r--r--   1 edrx edrx       19631 Jul 25  2022 Lazy5.lua
-rw-r--r--   1 edrx edrx       35642 Sep 14 19:52 Lazy5.lua.html
-rwxr-xr-x   1 edrx edrx        2881 Mar 30  2024 LeanMetaDoc1.lua*
-rw-r--r--   1 edrx edrx        5466 Sep 14 19:52 LeanMetaDoc1.lua.html
-rw-r--r--   1 edrx edrx        1446 Sep  3  2022 Lisp1.lua
-rw-r--r--   1 edrx edrx        2767 Sep 14 19:52 Lisp1.lua.html
-rw-r--r--   1 edrx edrx        5231 Feb 25  2024 Lisp2.lua
-rw-r--r--   1 edrx edrx        7940 Sep 14 19:52 Lisp2.lua.html
-rw-r--r--   1 edrx edrx        4139 Oct  8  2023 Lisp3.lua
-rw-r--r--   1 edrx edrx        5949 Sep 14 19:52 Lisp3.lua.html
-rw-r--r--   1 edrx edrx        2238 Aug 16  2024 Lisp4.lua
-rw-r--r--   1 edrx edrx        3831 Sep 14 19:52 Lisp4.lua.html
-rw-r--r--   1 edrx edrx        1637 Aug 17 20:01 LoadString1.lua
-rw-r--r--   1 edrx edrx        3155 Sep 14 19:52 LoadString1.lua.html
-rw-r--r--   1 edrx edrx       14785 Dec 31  2023 Loeliger1.lua
-rw-r--r--   1 edrx edrx       22852 Sep 14 19:52 Loeliger1.lua.html
-rw-r--r--   1 edrx edrx       12980 Mar  6  2023 LogsPdfizados1.lua
-rw-r--r--   1 edrx edrx       17349 Sep 14 19:52 LogsPdfizados1.lua.html
-rw-r--r--   1 edrx edrx        3001 Mar 19  2022 Lpeg1.lua
-rw-r--r--   1 edrx edrx        4935 Sep 14 19:52 Lpeg1.lua.html
-rw-r--r--   1 edrx edrx        3048 Mar 20  2022 Lpeg2.lua
-rw-r--r--   1 edrx edrx        5994 Sep 14 19:52 Lpeg2.lua.html
-rw-r--r--   1 edrx edrx        2453 Mar 20  2022 Lpeg3.lua
-rw-r--r--   1 edrx edrx        3913 Sep 14 19:52 Lpeg3.lua.html
-rw-r--r--   1 edrx edrx        2878 Mar 21  2022 Lpeg4.lua
-rw-r--r--   1 edrx edrx        4466 Sep 14 19:52 Lpeg4.lua.html
-rw-r--r--   1 edrx edrx        1381 Feb  2  2024 LpegDebugMode1.lua
-rw-r--r--   1 edrx edrx        2757 Sep 14 19:52 LpegDebugMode1.lua.html
-rw-r--r--   1 edrx edrx        3466 Mar 19  2022 LpegRex1.lua
-rw-r--r--   1 edrx edrx        6016 Sep 14 19:52 LpegRex1.lua.html
-rw-r--r--   1 edrx edrx        2366 Feb 23  2023 LpegRex2.lua
-rw-r--r--   1 edrx edrx        4329 Sep 14 19:52 LpegRex2.lua.html
-rw-r--r--   1 edrx edrx        4605 Feb 15  2024 LpegRex3.lua
-rw-r--r--   1 edrx edrx        8749 Sep 14 19:52 LpegRex3.lua.html
-rw-r--r--   1 edrx edrx        9999 Jun  9  2023 LsQuadros1-cache.lua
-rw-r--r--   1 edrx edrx       10505 Sep 14 19:52 LsQuadros1-cache.lua.html
-rw-r--r--   1 edrx edrx        4577 Jun 15  2023 LsQuadros1.lua
-rw-r--r--   1 edrx edrx        9994 Sep 14 19:52 LsQuadros1.lua.html
-rw-r--r--   1 edrx edrx        2808 Sep 24  2021 LuaBlocks.lua
-rw-r--r--   1 edrx edrx        3889 Sep 14 19:52 LuaBlocks.lua.html
-rw-r--r--   1 edrx edrx        2415 Oct 23  2022 LuaTex1.lua
-rw-r--r--   1 edrx edrx        4524 Sep 14 19:52 LuaTex1.lua.html
-rw-r--r--   1 edrx edrx        1869 Feb  6  2024 MapAST1.lua
-rw-r--r--   1 edrx edrx        3983 Sep 14 19:52 MapAST1.lua.html
-rw-r--r--   1 edrx edrx        8082 Apr  3  2024 MapAST2.lua
-rw-r--r--   1 edrx edrx       13919 Sep 14 19:52 MapAST2.lua.html
-rw-r--r--   1 edrx edrx        4899 Jan 17  2024 Match1.lua
-rw-r--r--   1 edrx edrx        8950 Sep 14 19:52 Match1.lua.html
-rw-r--r--   1 edrx edrx        9026 Oct 18  2023 Maxima1.lua
-rw-r--r--   1 edrx edrx       15664 Sep 14 19:52 Maxima1.lua.html
-rw-r--r--   1 edrx edrx       18264 Jul 15  2024 Maxima2.lua
-rw-r--r--   1 edrx edrx       30469 Sep 14 19:52 Maxima2.lua.html
-rw-r--r--   1 edrx edrx        9310 May 29 07:45 MaximaMsg1.lua
-rw-r--r--   1 edrx edrx       15234 Sep 14 19:52 MaximaMsg1.lua.html
-rw-r--r--   1 edrx edrx        3617 Jul 21  2024 MiniV1.lua
-rw-r--r--   1 edrx edrx        6065 Sep 14 19:52 MiniV1.lua.html
-rw-r--r--   1 edrx edrx        2711 Sep  3  2022 Monkey1.lua
-rw-r--r--   1 edrx edrx        3782 Sep 14 19:52 Monkey1.lua.html
-rw-r--r--   1 edrx edrx        6494 Mar  6  2022 MyRe1.lua
-rw-r--r--   1 edrx edrx        7314 Sep 14 19:52 MyRe1.lua.html
-rw-r--r--   1 edrx edrx        9457 Dec 17  2023 Numerozinhos1.lua
-rw-r--r--   1 edrx edrx       19869 Sep 14 19:52 Numerozinhos1.lua.html
-rw-r--r--   1 edrx edrx      130419 Jul 17 23:38 OiReginaldo1.lua
-rw-r--r--   1 edrx edrx      155128 Sep 14 19:52 OiReginaldo1.lua.html
-rw-r--r--   1 edrx edrx        1469 Sep 11  2024 Output1.lua
-rw-r--r--   1 edrx edrx        2803 Sep 14 19:52 Output1.lua.html
-rw-r--r--   1 edrx edrx        3139 Nov  2  2023 PCall1.lua
-rw-r--r--   1 edrx edrx        7002 Sep 14 19:52 PCall1.lua.html
-rw-r--r--   1 edrx edrx       13570 Sep  7  2022 Parenthesize1.lua
-rw-r--r--   1 edrx edrx       19290 Sep 14 19:52 Parenthesize1.lua.html
-rw-r--r--   1 edrx edrx        5070 Sep  9  2022 Parenthesize2.lua
-rw-r--r--   1 edrx edrx        6916 Sep 14 19:52 Parenthesize2.lua.html
-rw-r--r--   1 edrx edrx        2863 Oct  6  2024 ParseRcircLogs1.lua
-rw-r--r--   1 edrx edrx        4229 Sep 14 19:52 ParseRcircLogs1.lua.html
-rw-r--r--   1 edrx edrx        4228 Feb 11  2024 ParseTikz1.lua
-rw-r--r--   1 edrx edrx        8404 Sep 14 19:52 ParseTikz1.lua.html
-rw-r--r--   1 edrx edrx        4722 Dec 31  2023 ParseTimeline1.lua
-rw-r--r--   1 edrx edrx        7201 Sep 14 19:52 ParseTimeline1.lua.html
-rw-r--r--   1 edrx edrx        4267 Nov  9  2023 ParseTree1.lua
-rw-r--r--   1 edrx edrx        9041 Sep 14 19:52 ParseTree1.lua.html
-rw-r--r--   1 edrx edrx        7066 Feb  4  2024 ParseTree2.lua
-rw-r--r--   1 edrx edrx       14518 Sep 14 19:52 ParseTree2.lua.html
-rw-r--r--   1 edrx edrx        2219 Jul  1  2022 Path.lua
-rw-r--r--   1 edrx edrx        3699 Sep 14 19:52 Path.lua.html
-rw-r--r--   1 edrx edrx        1015 Feb  2  2023 PathTo1.lua
-rw-r--r--   1 edrx edrx        2221 Sep 14 19:52 PathTo1.lua.html
-rw-r--r--   1 edrx edrx        2208 Apr 21 14:44 PdfData1.lua
-rw-r--r--   1 edrx edrx        4650 Sep 14 19:52 PdfData1.lua.html
-rw-r--r--   1 edrx edrx        4527 Mar 31  2023 PegDebug1.lua
-rw-r--r--   1 edrx edrx        6226 Sep 14 19:52 PegDebug1.lua.html
-rw-r--r--   1 edrx edrx        2275 Mar 21  2024 PercPush1.lua
-rw-r--r--   1 edrx edrx        3865 Sep 14 19:52 PercPush1.lua.html
-rw-r--r--   1 edrx edrx       30723 Oct 24  2023 Pict2e1-1.lua
-rw-r--r--   1 edrx edrx       49557 Sep 14 19:52 Pict2e1-1.lua.html
-rw-r--r--   1 edrx edrx       36458 Jul 25  2022 Pict2e1.lua
-rw-r--r--   1 edrx edrx       54773 Sep 14 19:52 Pict2e1.lua.html
-rw-r--r--   1 edrx edrx       16440 Jun 13  2023 Pict2e2.lua
-rw-r--r--   1 edrx edrx       24502 Sep 14 19:52 Pict2e2.lua.html
-rw-r--r--   1 edrx edrx       16175 Dec 17  2023 Pict3.lua
-rw-r--r--   1 edrx edrx       25694 Sep 14 19:52 Pict3.lua.html
-rw-r--r--   1 edrx edrx       15776 Jun  1  2022 Pict3D1.lua
-rw-r--r--   1 edrx edrx       27382 Sep 14 19:52 Pict3D1.lua.html
-rw-r--r--   1 edrx edrx        1899 Oct 29  2023 PictShow1.lua
-rw-r--r--   1 edrx edrx        4639 Sep 14 19:52 PictShow1.lua.html
-rw-r--r--   1 edrx edrx       40938 Jul 11  2022 Piecewise1.lua
-rw-r--r--   1 edrx edrx       60125 Sep 14 19:52 Piecewise1.lua.html
-rw-r--r--   1 edrx edrx       41499 Nov 27  2024 Piecewise2.lua
-rw-r--r--   1 edrx edrx       61613 Sep 14 19:52 Piecewise2.lua.html
-rw-r--r--   1 edrx edrx        8573 Apr  9  2022 Pis1.lua
-rw-r--r--   1 edrx edrx       12795 Sep 14 19:52 Pis1.lua.html
-rw-r--r--   1 edrx edrx       10650 Apr 12  2022 Prad1.lua
-rw-r--r--   1 edrx edrx       15477 Sep 14 19:52 Prad1.lua.html
-rw-r--r--   1 edrx edrx       32476 Apr 12  2022 PradPict2e1.lua
-rw-r--r--   1 edrx edrx       49658 Sep 14 19:52 PradPict2e1.lua.html
-rw-r--r--   1 edrx edrx        1707 Apr  9  2022 PradTest1.lua
-rw-r--r--   1 edrx edrx        2928 Sep 14 19:52 PradTest1.lua.html
-rw-r--r--   1 edrx edrx        3014 Apr  1  2024 Pratt1.lua
-rw-r--r--   1 edrx edrx        5847 Sep 14 19:52 Pratt1.lua.html
-rw-r--r--   1 edrx edrx        2594 Jul  2  2024 Pratt2.lua
-rw-r--r--   1 edrx edrx        4155 Sep 14 19:52 Pratt2.lua.html
-rw-r--r--   1 edrx edrx       10285 Jan 27  2024 PreTraceback1.lua
-rw-r--r--   1 edrx edrx       15569 Sep 14 19:52 PreTraceback1.lua.html
-rw-r--r--   1 edrx edrx        3937 Sep  9  2022 PrecParser1.lua
-rw-r--r--   1 edrx edrx        6585 Sep 14 19:52 PrecParser1.lua.html
-rw-r--r--   1 edrx edrx        5585 Nov 24  2024 PrintFunction1.lua
-rw-r--r--   1 edrx edrx        8627 Sep 14 19:52 PrintFunction1.lua.html
-rw-r--r--   1 edrx edrx        2893 Jan 27  2024 Prosody1.lua
-rw-r--r--   1 edrx edrx        5448 Sep 14 19:52 Prosody1.lua.html
-rwxr-xr-x   1 edrx edrx        3267 May 14 08:15 QPDFMerge.lua*
-rw-r--r--   1 edrx edrx        5654 Sep 14 19:52 QPDFMerge.lua.html
-rw-r--r--   1 edrx edrx        3143 Jun  3  2022 QVis1.lua
-rw-r--r--   1 edrx edrx        5234 Sep 14 19:52 QVis1.lua.html
-rw-r--r--   1 edrx edrx         355 Apr  5  2023 Quadros1.lua
-rw-r--r--   1 edrx edrx        1226 Sep 14 19:52 Quadros1.lua.html
-rw-r--r--   1 edrx edrx        6258 Jul 11  2022 RAng1.lua
-rw-r--r--   1 edrx edrx       11946 Sep 14 19:52 RAng1.lua.html
-rw-r--r--   1 edrx edrx        2641 Jul 11  2022 RAngFormulas1.lua
-rw-r--r--   1 edrx edrx        6462 Sep 14 19:52 RAngFormulas1.lua.html
-rw-r--r--   1 edrx edrx        1717 Sep 25  2021 README.e
-rw-r--r--   1 edrx edrx        3945 Sep 14 19:52 README.e.html
-rw-r--r--   1 edrx edrx        3245 Dec 16  2023 Re-infix.lua
-rw-r--r--   1 edrx edrx        6390 Sep 14 19:52 Re-infix.lua.html
-rw-r--r--   1 edrx edrx       11913 Oct 13  2021 Re.lua
-rw-r--r--   1 edrx edrx       19461 Sep 14 19:52 Re.lua.html
-rw-r--r--   1 edrx edrx        7171 Dec 17  2023 Re2.lua
-rw-r--r--   1 edrx edrx       10557 Sep 14 19:52 Re2.lua.html
-rw-r--r--   1 edrx edrx       14248 Sep 12 20:29 Rect.lua
-rw-r--r--   1 edrx edrx       21972 Sep 14 19:52 Rect.lua.html
-rw-r--r--   1 edrx edrx       15161 Nov  4  2023 Repl1.lua
-rw-r--r--   1 edrx edrx       23288 Sep 14 19:52 Repl1.lua.html
-rw-r--r--   1 edrx edrx        8414 Nov  9  2022 Repl2.lua
-rw-r--r--   1 edrx edrx       16832 Sep 14 19:52 Repl2.lua.html
-rw-r--r--   1 edrx edrx        8282 Aug 17 19:37 Repl3.lua
-rw-r--r--   1 edrx edrx       16261 Sep 14 19:52 Repl3.lua.html
-rw-r--r--   1 edrx edrx        8970 Oct 31  2024 SQLite1.lua
-rw-r--r--   1 edrx edrx       15665 Sep 14 19:52 SQLite1.lua.html
-rw-r--r--   1 edrx edrx        5644 Sep 24  2021 Set.lua
-rw-r--r--   1 edrx edrx        9062 Sep 14 19:52 Set.lua.html
-rw-r--r--   1 edrx edrx         277 Sep 18  2021 SetL.lua
-rw-r--r--   1 edrx edrx        1109 Sep 14 19:52 SetL.lua.html
-rw-r--r--   1 edrx edrx        2783 Dec 29  2023 SexpAtEol1.lua
-rw-r--r--   1 edrx edrx        4960 Sep 14 19:52 SexpAtEol1.lua.html
-rw-r--r--   1 edrx edrx        1757 Apr 22  2023 Show1.lua
-rw-r--r--   1 edrx edrx        4121 Sep 14 19:52 Show1.lua.html
-rw-r--r--   1 edrx edrx         846 Apr 24  2023 Show2-outer.tex
-rw-r--r--   1 edrx edrx        2223 Sep 14 19:52 Show2-outer.tex.html
-rw-r--r--   1 edrx edrx       19377 Mar 16  2024 Show2.lua
-rw-r--r--   1 edrx edrx       34421 Sep 14 19:52 Show2.lua.html
-rw-r--r--   1 edrx edrx        8603 Feb 11  2023 SmallTalk1.lua
-rw-r--r--   1 edrx edrx       11202 Sep 14 19:52 SmallTalk1.lua.html
-rw-r--r--   1 edrx edrx        2620 Jun 23  2024 Socket1.lua
-rw-r--r--   1 edrx edrx        5771 Sep 14 19:52 Socket1.lua.html
-rw-r--r--   1 edrx edrx        1438 Jun 23  2023 SortedKeys1.lua
-rw-r--r--   1 edrx edrx        2662 Sep 14 19:52 SortedKeys1.lua.html
-rw-r--r--   1 edrx edrx        8529 Oct 11  2024 SqlPdfs1.lua
-rw-r--r--   1 edrx edrx       15196 Sep 14 19:52 SqlPdfs1.lua.html
-rw-r--r--   1 edrx edrx        2000 Sep 17  2023 Stack1.lua
-rw-r--r--   1 edrx edrx        3213 Sep 14 19:52 Stack1.lua.html
-rw-r--r--   1 edrx edrx        6271 Oct 13  2023 StrGrid1.lua
-rw-r--r--   1 edrx edrx       10278 Sep 14 19:52 StrGrid1.lua.html
-rw-r--r--   1 edrx edrx        8032 Nov 25  2023 Subst1.lua
-rw-r--r--   1 edrx edrx       12287 Sep 14 19:52 Subst1.lua.html
-rw-r--r--   1 edrx edrx        2406 Jan 10  2024 SubstInSteps1.lua
-rw-r--r--   1 edrx edrx        4128 Sep 14 19:52 SubstInSteps1.lua.html
-rw-r--r--   1 edrx edrx        6357 Feb 22  2025 Subtitles.lua
-rw-r--r--   1 edrx edrx       12444 Sep 14 19:52 Subtitles.lua.html
-rw-r--r--   1 edrx edrx        3813 Dec 15  2024 Subtitles2.lua
-rw-r--r--   1 edrx edrx        6456 Sep 14 19:52 Subtitles2.lua.html
-rwxr-xr-x   1 edrx edrx        4288 Jul 13  2024 Subtitles3.lua*
-rw-r--r--   1 edrx edrx        6784 Sep 14 19:52 Subtitles3.lua.html
-rw-r--r--   1 edrx edrx        3751 Dec 31  2024 SubtitlesLint1.lua
-rw-r--r--   1 edrx edrx        5014 Sep 14 19:52 SubtitlesLint1.lua.html
-rw-r--r--   1 edrx edrx       13313 Dec 17  2023 Surface1.lua
-rw-r--r--   1 edrx edrx       21730 Sep 14 19:52 Surface1.lua.html
-rw-r--r--   1 edrx edrx        5024 Jul 13  2022 SynTreeV1.lua
-rw-r--r--   1 edrx edrx        6869 Sep 14 19:52 SynTreeV1.lua.html
-rw-r--r--   1 edrx edrx        3500 Jun 27  2022 TProps1.lua
-rw-r--r--   1 edrx edrx        5711 Sep 14 19:52 TProps1.lua.html
-rw-r--r--   1 edrx edrx         663 Mar 14  2024 ThisDir1.lua
-rw-r--r--   1 edrx edrx        1540 Sep 14 19:52 ThisDir1.lua.html
-rw-r--r--   1 edrx edrx        2786 Dec 29  2023 Tikz2.lua
-rw-r--r--   1 edrx edrx        5318 Sep 14 19:52 Tikz2.lua.html
-rw-r--r--   1 edrx edrx        3478 Sep  4  2023 TikzTrees1.lua
-rw-r--r--   1 edrx edrx        5903 Sep 14 19:52 TikzTrees1.lua.html
-rw-r--r--   1 edrx edrx       10562 Feb  9  2024 ToTeX1.lua
-rw-r--r--   1 edrx edrx       16182 Sep 14 19:52 ToTeX1.lua.html
-rw-r--r--   1 edrx edrx        7518 Jul 24  2023 TocLines1.lua
-rw-r--r--   1 edrx edrx       11415 Sep 14 19:52 TocLines1.lua.html
-rw-r--r--   1 edrx edrx        4085 Sep 17  2024 TocLines2.lua
-rw-r--r--   1 edrx edrx        8018 Sep 14 19:52 TocLines2.lua.html
-rw-r--r--   1 edrx edrx        6812 Nov 25  2023 Tos.lua
-rw-r--r--   1 edrx edrx       11666 Sep 14 19:52 Tos.lua.html
-rw-r--r--   1 edrx edrx        5579 Jan 22  2024 Tos2.lua
-rw-r--r--   1 edrx edrx        8711 Sep 14 19:52 Tos2.lua.html
-rw-r--r--   1 edrx edrx       14222 Mar 31  2024 Tos3.lua
-rw-r--r--   1 edrx edrx       21318 Sep 14 19:52 Tos3.lua.html
-rw-r--r--   1 edrx edrx        3046 Dec  7  2023 Tracinhos1.lua
-rw-r--r--   1 edrx edrx        6028 Sep 14 19:52 Tracinhos1.lua.html
-rw-r--r--   1 edrx edrx        1011 Feb  4  2024 Tree1.lua
-rw-r--r--   1 edrx edrx        2341 Sep 14 19:52 Tree1.lua.html
-rw-r--r--   1 edrx edrx        3866 Feb 15  2023 Tudos1.lua
-rw-r--r--   1 edrx edrx        7494 Sep 14 19:52 Tudos1.lua.html
-rw-r--r--   1 edrx edrx        3980 Jul 11  2022 UbExpr1.lua
-rw-r--r--   1 edrx edrx        5207 Sep 14 19:52 UbExpr1.lua.html
-rw-r--r--   1 edrx edrx        7281 Jul 11  2022 UbExpr2.lua
-rw-r--r--   1 edrx edrx       12458 Sep 14 19:52 UbExpr2.lua.html
-rw-r--r--   1 edrx edrx        4579 Nov 25  2023 Und1.lua
-rw-r--r--   1 edrx edrx        8752 Sep 14 19:52 Und1.lua.html
-rw-r--r--   1 edrx edrx        7935 Jun 24  2024 Und2D1.lua
-rw-r--r--   1 edrx edrx       13832 Sep 14 19:52 Und2D1.lua.html
-rw-r--r--   1 edrx edrx       10261 Jun 24  2024 Und2D2.lua
-rw-r--r--   1 edrx edrx       15995 Sep 14 19:52 Und2D2.lua.html
-rw-r--r--   1 edrx edrx        4938 Jul 16  2022 Verbatim1.lua
-rw-r--r--   1 edrx edrx        8231 Sep 14 19:52 Verbatim1.lua.html
-rw-r--r--   1 edrx edrx        5384 Nov 26  2023 Verbatim2.lua
-rw-r--r--   1 edrx edrx       10951 Sep 14 19:52 Verbatim2.lua.html
-rw-r--r--   1 edrx edrx        7619 Jul  4  2024 Verbatim3.lua
-rw-r--r--   1 edrx edrx       12850 Sep 14 19:52 Verbatim3.lua.html
-rw-r--r--   1 edrx edrx        4295 Apr  2  2024 Verbatim4.lua
-rw-r--r--   1 edrx edrx        6695 Sep 14 19:52 Verbatim4.lua.html
-rw-r--r--   1 edrx edrx        4247 Oct 30  2023 VideoIndex.lua
-rw-r--r--   1 edrx edrx        5981 Sep 14 19:52 VideoIndex.lua.html
-rw-r--r--   1 edrx edrx        3623 Feb 13  2024 VisCapts1.lua
-rw-r--r--   1 edrx edrx        7555 Sep 14 19:52 VisCapts1.lua.html
-rw-r--r--   1 edrx edrx       10178 Dec 25  2024 WhatsApp1.lua
-rw-r--r--   1 edrx edrx       14295 Sep 14 19:52 WhatsApp1.lua.html
-rw-r--r--   1 edrx edrx        3275 Nov 26  2023 WithFakePrint1.lua
-rw-r--r--   1 edrx edrx        5544 Sep 14 19:52 WithFakePrint1.lua.html
-rw-r--r--   1 edrx edrx        5192 Nov 12  2023 XPCall1.lua
-rw-r--r--   1 edrx edrx        8404 Sep 14 19:52 XPCall1.lua.html
-rw-r--r--   1 edrx edrx        2046 Nov  5  2023 Xpcall1.lua
-rw-r--r--   1 edrx edrx        4159 Sep 14 19:52 Xpcall1.lua.html
-rw-r--r--   1 edrx edrx       51825 Jun 17  2022 ZHA1.lua
-rw-r--r--   1 edrx edrx       74368 Sep 14 19:52 ZHA1.lua.html
-rw-r--r--   1 edrx edrx        2543 Nov 25  2023 addoverrides1.lua
-rw-r--r--   1 edrx edrx        4497 Sep 14 19:52 addoverrides1.lua.html
-rw-r--r--   1 edrx edrx         644 Feb 21  2020 anchors.lua
-rw-r--r--   1 edrx edrx        1265 Sep 14 19:52 anchors.lua.html
-rw-r--r--   1 edrx edrx       10929 Feb 21  2020 apt-move.lua
-rw-r--r--   1 edrx edrx       15589 Sep 14 19:52 apt-move.lua.html
-rw-r--r--   1 edrx edrx         986 Nov 24  2021 arithfbs.lua
-rw-r--r--   1 edrx edrx        2131 Sep 14 19:52 arithfbs.lua.html
-rw-r--r--   1 edrx edrx        1258 Nov  1  2021 badchars-unibyte.lua
-rw-r--r--   1 edrx edrx        2976 Sep 14 19:52 badchars-unibyte.lua.html
-rw-r--r--   1 edrx edrx        5658 Feb 21  2020 begriff.lua
-rw-r--r--   1 edrx edrx        7029 Sep 14 19:52 begriff.lua.html
-rw-r--r--   1 edrx edrx        6875 Mar  9  2022 bib.lua
-rw-r--r--   1 edrx edrx       10402 Sep 14 19:52 bib.lua.html
-rw-r--r--   1 edrx edrx        4915 Feb 21  2020 binops-re.lua
-rw-r--r--   1 edrx edrx        6306 Sep 14 19:52 binops-re.lua.html
-rw-r--r--   1 edrx edrx       19127 Feb 21  2020 blogme.lua
-rw-r--r--   1 edrx edrx       21248 Sep 14 19:52 blogme.lua.html
-rw-r--r--   1 edrx edrx        1137 Jan 15  2021 blogme2021.lua
-rw-r--r--   1 edrx edrx        2492 Sep 14 19:52 blogme2021.lua.html
-rw-r--r--   1 edrx edrx       17692 Sep 12 16:12 book-index.lua
-rw-r--r--   1 edrx edrx       34974 Sep 14 19:52 book-index.lua.html
-rw-r--r--   1 edrx edrx        1491 Feb 21  2020 boxchars.lua
-rw-r--r--   1 edrx edrx        2387 Sep 14 19:52 boxchars.lua.html
-rw-r--r--   1 edrx edrx        6048 Feb 21  2020 brackets.lua
-rw-r--r--   1 edrx edrx        6634 Sep 14 19:52 brackets.lua.html
-rw-r--r--   1 edrx edrx         293 Feb 21  2020 call7777.lua
-rw-r--r--   1 edrx edrx         783 Sep 14 19:52 call7777.lua.html
-rw-r--r--   1 edrx edrx        5706 Feb 21  2020 canvas.lua
-rw-r--r--   1 edrx edrx        6911 Sep 14 19:52 canvas.lua.html
-rw-r--r--   1 edrx edrx       14301 Feb 21  2020 canvas2.lua
-rw-r--r--   1 edrx edrx       15622 Sep 14 19:52 canvas2.lua.html
-rwxr-xr-x   1 edrx edrx       30663 Feb 21  2020 canvas3.lua*
-rw-r--r--   1 edrx edrx       47848 Sep 14 19:52 canvas3.lua.html
-rw-r--r--   1 edrx edrx        1504 Aug 31  2021 complex.lua
-rw-r--r--   1 edrx edrx        2578 Sep 14 19:52 complex.lua.html
-rw-r--r--   1 edrx edrx        2383 Feb 21  2020 composechars-u8.lua
-rw-r--r--   1 edrx edrx        4205 Sep 14 19:52 composechars-u8.lua.html
-rw-r--r--   1 edrx edrx        1855 Feb 21  2020 ctemplate.lua
-rw-r--r--   1 edrx edrx        3123 Sep 14 19:52 ctemplate.lua.html
-rw-r--r--   1 edrx edrx        5603 Feb 21  2020 debs.lua
-rw-r--r--   1 edrx edrx        6469 Sep 14 19:52 debs.lua.html
-rwxr-xr-x   1 edrx edrx        6058 Feb 21  2020 debs2.lua*
-rw-r--r--   1 edrx edrx        7603 Sep 14 19:52 debs2.lua.html
-rwxr-xr-x   1 edrx edrx         700 Feb 21  2020 debtemplate.lua*
-rw-r--r--   1 edrx edrx        1852 Sep 14 19:52 debtemplate.lua.html
-rwxr-xr-x   1 edrx edrx       13798 Feb 21  2020 dednat.lua*
-rw-r--r--   1 edrx edrx       23187 Sep 14 19:52 dednat.lua.html
-rw-r--r--   1 edrx edrx        1757 Nov 24  2024 dednat7load.lua
-rw-r--r--   1 edrx edrx        4850 Sep 14 19:52 dednat7load.lua.html
-rwxr-xr-x   1 edrx edrx       11372 Jun 13  2021 defwithmanyargs.lua*
-rw-r--r--   1 edrx edrx       18061 Sep 14 19:52 defwithmanyargs.lua.html
-rw-r--r--   1 edrx edrx        6184 Feb 21  2020 distributivity.lua
-rw-r--r--   1 edrx edrx        8370 Sep 14 19:52 distributivity.lua.html
-rwxr-xr-x   1 edrx edrx        1299 Feb 21  2020 djview-hack.lua*
-rw-r--r--   1 edrx edrx        2980 Sep 14 19:52 djview-hack.lua.html
-rw-r--r--   1 edrx edrx       87921 Nov 24  2024 edrxlib.lua
-rw-r--r--   1 edrx edrx      171251 Sep 14 19:52 edrxlib.lua.html
-rw-r--r--   1 edrx edrx        2943 Mar  3  2022 eev-upload-files.lua
-rw-r--r--   1 edrx edrx        6084 Sep 14 19:52 eev-upload-files.lua.html
-rw-r--r--   1 edrx edrx       24157 Nov 12  2023 elispwt.lua
-rw-r--r--   1 edrx edrx       44337 Sep 14 19:52 elispwt.lua.html
-rw-r--r--   1 edrx edrx        7002 Sep 20  2021 emacs-weekly-news.lua
-rw-r--r--   1 edrx edrx       10381 Sep 14 19:52 emacs-weekly-news.lua.html
-rw-r--r--   1 edrx edrx        2171 Oct 18  2023 emaxima.lua
-rw-r--r--   1 edrx edrx        4814 Sep 14 19:52 emaxima.lua.html
-rw-r--r--   1 edrx edrx       21593 Aug 19  2023 eoo.lua
-rw-r--r--   1 edrx edrx       29173 Sep 14 19:52 eoo.lua.html
-rwxr-xr-x   1 edrx edrx        7301 Feb 21  2020 exifdatetime.lua*
-rw-r--r--   1 edrx edrx       12781 Sep 14 19:52 exifdatetime.lua.html
-rw-r--r--   1 edrx edrx       61872 Feb 21  2020 fbcomments.lua
-rw-r--r--   1 edrx edrx       74942 Sep 14 19:52 fbcomments.lua.html
-rwxr-xr-x   1 edrx edrx       10533 Oct 23  2022 flsfiles.lua*
-rw-r--r--   1 edrx edrx       14905 Sep 14 19:52 flsfiles.lua.html
drwxr-xr-x   2 edrx edrx        4096 May 10  2001 flua-0.01/
-rw-r--r--   2 edrx www-data    7547 Jan 12  2004 flua-0.01.out.tar.gz
-rw-r--r--   2 edrx www-data    9550 Jan 12  2004 flua-0.01.tar.gz
drwxr-xr-x   2 edrx edrx        4096 May 10  2001 flua-0.02/
-rw-r--r--   2 edrx www-data   11395 Jan 12  2004 flua-0.02.out.tar.gz
-rw-r--r--   2 edrx www-data   13934 Jan 12  2004 flua-0.02.tar.gz
-rw-r--r--   2 edrx www-data       0 Jan 12  2004 flua-latest.tar.gz
-rw-r--r--   1 edrx edrx        1623 Feb 21  2020 forall_0.lua
-rw-r--r--   1 edrx edrx        2489 Sep 14 19:52 forall_0.lua.html
-rw-r--r--   1 edrx edrx        2789 Feb 21  2020 horarios.lua
-rw-r--r--   1 edrx edrx        3650 Sep 14 19:52 horarios.lua.html
-rw-r--r--   1 edrx edrx       10803 Feb 21  2020 inc.lua
-rw-r--r--   1 edrx edrx       17511 Sep 14 19:52 inc.lua.html
-rw-r--r--   1 edrx edrx       28970 Feb 21  2020 index.blogme
-rw-r--r--   1 edrx edrx       34699 Sep 14 19:52 index.blogme.html
-rw-r--r--   1 edrx edrx        1540 Nov 27  2024 integrate-2015.lua
-rw-r--r--   1 edrx edrx        2427 Sep 14 19:52 integrate-2015.lua.html
-rw-r--r--   1 edrx edrx        3458 Feb 21  2020 integration.lua
-rw-r--r--   1 edrx edrx        4476 Sep 14 19:52 integration.lua.html
-rw-r--r--   1 edrx edrx        7538 Feb 21  2020 interactive.lua
-rw-r--r--   1 edrx edrx        9623 Sep 14 19:52 interactive.lua.html
-rw-r--r--   1 edrx edrx        1640 Feb 21  2020 latexdags.lua
-rw-r--r--   1 edrx edrx        2636 Sep 14 19:52 latexdags.lua.html
drwxr-xr-x   2 edrx edrx        4096 Sep 14 19:50 ldb/
-rw-r--r--   1 edrx edrx        9295 Feb 21  2020 lh.lua
-rw-r--r--   1 edrx edrx       10103 Sep 14 19:52 lh.lua.html
drwxr-xr-x   2 edrx edrx        4096 Sep 14 19:52 loadlib/
-rw-r--r--   1 edrx edrx        2556 Sep 19  2021 lowerdiag.lua
-rw-r--r--   1 edrx edrx        3537 Sep 14 19:52 lowerdiag.lua.html
-rw-r--r--   1 edrx edrx        3260 Sep 25  2021 lpeg-minitut.lua
-rw-r--r--   1 edrx edrx        5514 Sep 14 19:52 lpeg-minitut.lua.html
-rw-r--r--   1 edrx edrx        1697 Feb 21  2020 lstoindexhtml.lua
-rw-r--r--   1 edrx edrx        3701 Sep 14 19:53 lstoindexhtml.lua.html
-rw-r--r--   1 edrx edrx        1719 Feb 21  2020 lua50beta-argpatch.sh
-rw-r--r--   1 edrx edrx        2990 Sep 14 19:53 lua50beta-argpatch.sh.html
-rw-r--r--   2 edrx www-data  166822 Jan 12  2004 lua50betaref.e
-rw-r--r--   2 edrx www-data  192795 Jan 12  2004 lua50betaref.e.html
-rw-r--r--   1 edrx edrx       88375 Sep 12 20:29 lua50init.lua
-rw-r--r--   1 edrx edrx      172188 Sep 14 19:53 lua50init.lua.html
-rw-r--r--   2 edrx www-data  186103 Feb 26  2004 lua50ref.e
-rw-r--r--   2 edrx www-data  212624 Feb 26  2004 lua50ref.e.html
-rw-r--r--   1 edrx edrx      184706 Feb 21  2020 lua50ref.r2
-rw-r--r--   1 edrx edrx      210938 Sep 14 19:53 lua50ref.r2.html
-rw-r--r--   1 edrx edrx       20757 Feb 21  2020 luaforth.lua
-rw-r--r--   1 edrx edrx       22431 Sep 14 19:53 luaforth.lua.html
-rw-r--r--   1 edrx edrx         924 Feb 21  2020 luarocks-extra.lua
-rw-r--r--   1 edrx edrx        2645 Sep 14 19:53 luarocks-extra.lua.html
-rw-r--r--   1 edrx edrx        3948 Feb 21  2020 luatclbridge.c
-rw-r--r--   1 edrx edrx        5152 Sep 14 19:53 luatclbridge.c.html
-rw-r--r--   1 edrx edrx        1549 Mar  1  2021 lvalue.lua
-rw-r--r--   1 edrx edrx        3442 Sep 14 19:53 lvalue.lua.html
-rw-r--r--   2 edrx www-data  177580 Oct  6  2005 manual2.html
-rw-r--r--   1 edrx edrx       25142 Feb 21  2020 math.blogme
-rw-r--r--   1 edrx edrx       29897 Sep 14 19:53 math.blogme.html
-rw-r--r--   1 edrx edrx        3205 Feb 21  2020 microlisp-2017.lua
-rw-r--r--   1 edrx edrx        4144 Sep 14 19:53 microlisp-2017.lua.html
-rw-r--r--   1 edrx edrx        7383 Feb 21  2020 middle-c.lua
-rw-r--r--   1 edrx edrx       10712 Sep 14 19:53 middle-c.lua.html
-rw-r--r--   1 edrx edrx        4962 Mar  2  2021 miniforth2021.lua
-rw-r--r--   1 edrx edrx        8817 Sep 14 19:53 miniforth2021.lua.html
-rw-r--r--   1 edrx edrx        5543 Feb 21  2020 modal.lua
-rw-r--r--   1 edrx edrx        6165 Sep 14 19:53 modal.lua.html
-rw-r--r--   1 edrx edrx         635 Feb 21  2020 mygetstack.c
-rw-r--r--   1 edrx edrx        1263 Sep 14 19:53 mygetstack.c.html
-rw-r--r--   1 edrx edrx        7597 Dec 14  2021 myxpcall.lua
-rw-r--r--   1 edrx edrx       13016 Sep 14 19:53 myxpcall.lua.html
-rwxr-xr-x   1 edrx edrx        2498 Feb 21  2020 oldglyphs.lua*
-rw-r--r--   1 edrx edrx        3623 Sep 14 19:53 oldglyphs.lua.html
-rw-r--r--   1 edrx edrx        2807 Feb 21  2020 parsechangelog.lua
-rw-r--r--   1 edrx edrx        4293 Sep 14 19:53 parsechangelog.lua.html
-rw-r--r--   1 edrx edrx         870 Feb 21  2020 peek.lua
-rw-r--r--   1 edrx edrx        2616 Sep 14 19:53 peek.lua.html
-rw-r--r--   1 edrx edrx       21304 Feb 21  2020 picture.lua
-rw-r--r--   1 edrx edrx       28388 Sep 14 19:53 picture.lua.html
-rw-r--r--   1 edrx edrx        1571 Aug 29  2021 pil3_16.lua
-rw-r--r--   1 edrx edrx        2789 Sep 14 19:53 pil3_16.lua.html
-rw-r--r--   1 edrx edrx        1025 Feb 21  2020 port7777.lua
-rw-r--r--   1 edrx edrx        1515 Sep 14 19:53 port7777.lua.html
-rw-r--r--   1 edrx edrx        3011 Sep  4  2022 precedenceparser.lua
-rw-r--r--   1 edrx edrx        4040 Sep 14 19:53 precedenceparser.lua.html
-rw-r--r--   1 edrx edrx        2138 Feb 21  2020 preproc.lua
-rw-r--r--   1 edrx edrx        3519 Sep 14 19:53 preproc.lua.html
-rw-r--r--   1 edrx edrx        4810 Jul 25  2023 puro-calendario.lua
-rw-r--r--   1 edrx edrx        5775 Sep 14 19:53 puro-calendario.lua.html
-rw-r--r--   1 edrx edrx        2785 Jul 25  2023 puro-calendario2.lua
-rw-r--r--   1 edrx edrx        5114 Sep 14 19:53 puro-calendario2.lua.html
-rwxr-xr-x   1 edrx edrx        1991 Feb 21  2020 quickdiff.lua*
-rw-r--r--   1 edrx edrx        3146 Sep 14 19:53 quickdiff.lua.html
-rw-r--r--   1 edrx edrx         640 Feb 21  2020 rectxpm.lua
-rw-r--r--   1 edrx edrx        1395 Sep 14 19:53 rectxpm.lua.html
-rwxr-xr-x   1 edrx edrx        8636 Feb 21  2024 redirect.lua*
-rw-r--r--   1 edrx edrx       14305 Sep 14 19:53 redirect.lua.html
-rw-r--r--   1 edrx edrx         334 Sep 12  2021 square-cube.lua
-rw-r--r--   1 edrx edrx        1289 Sep 14 19:53 square-cube.lua.html
-rwxr-xr-x   1 edrx edrx        4480 Feb 21  2020 syntrees.lua*
-rw-r--r--   1 edrx edrx        5985 Sep 14 19:53 syntrees.lua.html
-rwxr-xr-x   1 edrx edrx        9475 Feb 21  2020 texcatcodes.lua*
-rw-r--r--   1 edrx edrx       15335 Sep 14 19:53 texcatcodes.lua.html
-rw-r--r--   1 edrx edrx        8018 Feb 21  2020 texinfo.lua
-rw-r--r--   1 edrx edrx       12377 Sep 14 19:53 texinfo.lua.html
-rwxr-xr-x   1 edrx edrx        5252 Feb 21  2020 texpage.lua*
-rw-r--r--   1 edrx edrx        8483 Sep 14 19:53 texpage.lua.html
-rw-r--r--   1 edrx edrx        2247 Aug 15 03:13 tictactoetree.lua
-rw-r--r--   1 edrx edrx        3692 Sep 14 19:53 tictactoetree.lua.html
-rw-r--r--   1 edrx edrx       13911 Sep  2 11:18 tikz1.el
-rw-r--r--   1 edrx edrx       33791 Sep 14 19:53 tikz1.el.html
-rw-r--r--   1 edrx edrx        8486 Apr 25  2023 tikz1.lua
-rw-r--r--   1 edrx edrx       19546 Sep 14 19:53 tikz1.lua.html
-rw-r--r--   1 edrx edrx        1762 Feb  3  2021 timestamps.lua
-rw-r--r--   1 edrx edrx        4456 Sep 14 19:53 timestamps.lua.html
-rw-r--r--   1 edrx edrx        5414 Feb 21  2020 tinyftp.lua
-rw-r--r--   1 edrx edrx        6101 Sep 14 19:53 tinyftp.lua.html
-rw-r--r--   1 edrx edrx        3518 Feb 21  2020 tinyftplib.lua
-rw-r--r--   1 edrx edrx        4024 Sep 14 19:53 tinyftplib.lua.html
-rw-r--r--   1 edrx edrx        2717 Feb 21  2020 tlbridge.c
-rw-r--r--   1 edrx edrx        3770 Sep 14 19:53 tlbridge.c.html
-rw-r--r--   1 edrx edrx       24383 Feb 21  2020 tmp.lua
-rw-r--r--   1 edrx edrx       28269 Sep 14 19:53 tmp.lua.html
-rw-r--r--   1 edrx edrx        2411 Feb 21  2020 toposort.lua
-rw-r--r--   1 edrx edrx        2966 Aug 16  2021 tos.lua
-rw-r--r--   1 edrx edrx        5426 Sep 14 19:53 tos.lua.html
-rw-r--r--   1 edrx edrx        2679 Dec 18  2023 tos2.lua
-rw-r--r--   1 edrx edrx        4261 Sep 14 19:53 tos2.lua.html
-rw-r--r--   1 edrx edrx        3205 Dec 18  2023 tos3.lua
-rw-r--r--   1 edrx edrx        4998 Sep 14 19:53 tos3.lua.html
-rw-r--r--   1 edrx edrx        4260 Feb 21  2020 tostring.lua
-rw-r--r--   1 edrx edrx        5894 Sep 14 19:53 tostring.lua.html
-rw-r--r--   1 edrx edrx        1443 Feb 21  2020 truthtables.lua
-rw-r--r--   1 edrx edrx        2529 Sep 14 19:53 truthtables.lua.html
-rw-r--r--   1 edrx edrx        1074 Sep 12  2021 vector-demo.lua
-rw-r--r--   1 edrx edrx        2186 Sep 14 19:53 vector-demo.lua.html
-rw-r--r--   1 edrx edrx       10030 Feb 21  2020 vectors.lua
-rw-r--r--   1 edrx edrx       12628 Sep 14 19:53 vectors.lua.html
-rw-r--r--   1 edrx edrx         452 Feb 21  2020 vectors.tcl
-rw-r--r--   1 edrx edrx        1193 Sep 14 19:53 vectors.tcl.html
-rw-r--r--   1 edrx edrx        4276 Aug 15  2021 vtable.lua
-rw-r--r--   1 edrx edrx        5884 Sep 14 19:53 vtable.lua.html
-rwxr-xr-x   1 edrx edrx      784626 Feb 21  2020 youtube-db.lua*
-rw-r--r--   1 edrx edrx     1329735 Sep 14 19:53 youtube-db.lua.html
-rw-r--r--   1 edrx edrx         453 Feb 21  2020 youtube-tags-2.lua
-rw-r--r--   1 edrx edrx        1457 Sep 14 19:53 youtube-tags-2.lua.html
-rw-r--r--   1 edrx edrx        2355 Feb 21  2020 youtube-tags.lua
-rw-r--r--   1 edrx edrx        3445 Sep 14 19:53 youtube-tags.lua.html
-rw-r--r--   1 edrx edrx        5732 Feb 21  2020 youtube.lua
-rw-r--r--   1 edrx edrx        8170 Sep 14 19:53 youtube.lua.html
-rw-r--r--   1 edrx edrx        1465 Feb 21  2020 zdags.lua
-rw-r--r--   1 edrx edrx        2886 Sep 14 19:53 zdags.lua.html