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