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