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