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