drwxr-xr-x   6 edrx edrx       20480 Oct 29  2022 ./
drwxr-xr-x 290 edrx edrx       36864 Jun 15 08:37 ../
-rw-r--r--   1 edrx edrx        2544 Feb 21  2020 2013.2-ES-diags
-rw-r--r--   1 edrx edrx        4234 Jun 15 08:36 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 15 08:36 2022-t.lua.html
-rw-r--r--   1 edrx edrx        1190 Mar  2  2022 8queens.lua
-rw-r--r--   1 edrx edrx        2255 Jun 15 08:36 8queens.lua.html
-rw-r--r--   1 edrx edrx        4392 Feb  7  2023 Abbrevs1.lua
-rw-r--r--   1 edrx edrx        6395 Jun 15 08:36 Abbrevs1.lua.html
-rw-r--r--   1 edrx edrx        2323 Apr  2 10:32 Actions1.lua
-rw-r--r--   1 edrx edrx        4305 Jun 15 08:36 Actions1.lua.html
-rw-r--r--   1 edrx edrx        4929 Nov 20  2023 AnyOf1.lua
-rw-r--r--   1 edrx edrx        8573 Jun 15 08:36 AnyOf1.lua.html
-rw-r--r--   1 edrx edrx        4885 Mar  2  2022 Arith1.lua
-rw-r--r--   1 edrx edrx        7072 Jun 15 08:36 Arith1.lua.html
-rw-r--r--   1 edrx edrx        5913 Mar  4  2022 Arith2.lua
-rw-r--r--   1 edrx edrx        8167 Jun 15 08:36 Arith2.lua.html
-rw-r--r--   1 edrx edrx        6843 Mar  5  2022 Arith3.lua
-rw-r--r--   1 edrx edrx       10623 Jun 15 08:36 Arith3.lua.html
-rw-r--r--   1 edrx edrx        2593 Mar  7  2022 Arith4.lua
-rw-r--r--   1 edrx edrx        4041 Jun 15 08:36 Arith4.lua.html
-rw-r--r--   1 edrx edrx        1916 May  8  2022 Arith5.lua
-rw-r--r--   1 edrx edrx        3242 Jun 15 08:36 Arith5.lua.html
-rw-r--r--   1 edrx edrx        8574 Aug 28  2022 Arith6.lua
-rw-r--r--   1 edrx edrx       12605 Jun 15 08:36 Arith6.lua.html
-rw-r--r--   1 edrx edrx        9102 Apr 17  2023 Ast1.lua
-rw-r--r--   1 edrx edrx       13862 Jun 15 08:36 Ast1.lua.html
-rw-r--r--   1 edrx edrx       10655 Apr 17  2023 Ast2.lua
-rw-r--r--   1 edrx edrx       15800 Jun 15 08:36 Ast2.lua.html
-rw-r--r--   1 edrx edrx        6459 Apr 20  2023 Ast3.lua
-rw-r--r--   1 edrx edrx       10475 Jun 15 08:36 Ast3.lua.html
-rw-r--r--   1 edrx edrx        4937 Apr 17  2023 Ast4.lua
-rw-r--r--   1 edrx edrx        7104 Jun 15 08:36 Ast4.lua.html
-rw-r--r--   1 edrx edrx        2614 Apr 24  2023 Ast5.lua
-rw-r--r--   1 edrx edrx        4279 Jun 15 08:36 Ast5.lua.html
-rw-r--r--   1 edrx edrx        4506 Sep  4  2023 Ast6.lua
-rw-r--r--   1 edrx edrx        6038 Jun 15 08:36 Ast6.lua.html
-rw-r--r--   1 edrx edrx        1227 Jan  7 22:05 Basic1.lua
-rw-r--r--   1 edrx edrx        2294 Jun 15 08:36 Basic1.lua.html
-rw-r--r--   1 edrx edrx        1147 Sep  7  2022 BinarySearch1.lua
-rw-r--r--   1 edrx edrx        2251 Jun 15 08:36 BinarySearch1.lua.html
-rw-r--r--   1 edrx edrx       24249 Feb  6  2023 BlogMe3.lua
-rw-r--r--   1 edrx edrx       36516 Jun 15 08:36 BlogMe3.lua.html
-rw-r--r--   1 edrx edrx        5471 Jul 13  2022 C2Formulas1.lua
-rw-r--r--   1 edrx edrx       11266 Jun 15 08:36 C2Formulas1.lua.html
-rw-r--r--   1 edrx edrx       15374 Jul 13  2022 C2Subst1.lua
-rw-r--r--   1 edrx edrx       24342 Jun 15 08:36 C2Subst1.lua.html
-rw-r--r--   1 edrx edrx        7080 Jan 19 05:23 CLua1.lua
-rw-r--r--   1 edrx edrx       11250 Jun 15 08:36 CLua1.lua.html
-rw-r--r--   1 edrx edrx       10187 Apr  2 09:41 CME2.lua
-rw-r--r--   1 edrx edrx       20072 Jun 15 08:36 CME2.lua.html
-rw-r--r--   1 edrx edrx        9104 Apr  4 09:47 CME3.lua
-rw-r--r--   1 edrx edrx       17360 Jun 15 08:36 CME3.lua.html
-rw-r--r--   1 edrx edrx        7660 Sep 28  2022 Cabos1.lua
-rw-r--r--   1 edrx edrx       10820 Jun 15 08:36 Cabos1.lua.html
-rw-r--r--   1 edrx edrx        5140 Oct 20  2023 Cabos2.lua
-rw-r--r--   1 edrx edrx        9210 Jun 15 08:36 Cabos2.lua.html
-rw-r--r--   1 edrx edrx        9502 Nov 20  2023 Cabos3.lua
-rw-r--r--   1 edrx edrx       13350 Jun 15 08:36 Cabos3.lua.html
-rw-r--r--   1 edrx edrx        4268 Sep 27  2022 CabosNaDiagonal.lua
-rw-r--r--   1 edrx edrx        6311 Jun 15 08:36 CabosNaDiagonal.lua.html
-rw-r--r--   1 edrx edrx       25439 Feb 14  2023 Caepro1.lua
-rw-r--r--   1 edrx edrx       32896 Jun 15 08:36 Caepro1.lua.html
-rw-r--r--   1 edrx edrx       30859 Apr  9  2023 Caepro2.lua
-rw-r--r--   1 edrx edrx       49689 Jun 15 08:36 Caepro2.lua.html
-rw-r--r--   1 edrx edrx       17189 Jun  2  2023 Caepro3.lua
-rw-r--r--   1 edrx edrx       26120 Jun 15 08:36 Caepro3.lua.html
-rw-r--r--   1 edrx edrx       15764 Nov 30  2023 Caepro4.lua
-rw-r--r--   1 edrx edrx       25090 Jun 15 08:36 Caepro4.lua.html
-rw-r--r--   1 edrx edrx        4246 Nov 25  2023 Caepro5-blogme.lua
-rw-r--r--   1 edrx edrx        7537 Jun 15 08:36 Caepro5-blogme.lua.html
-rw-r--r--   1 edrx edrx       28833 Apr 24 01:09 Caepro5.lua
-rw-r--r--   1 edrx edrx       44261 Jun 15 08:36 Caepro5.lua.html
-rw-r--r--   1 edrx edrx        4286 Sep 26  2023 CaeproLisp1.lua
-rw-r--r--   1 edrx edrx        7623 Jun 15 08:36 CaeproLisp1.lua.html
-rw-r--r--   1 edrx edrx       13567 Mar  4 13:20 Calendar1.lua
-rw-r--r--   1 edrx edrx       19058 Jun 15 08:36 Calendar1.lua.html
-rw-r--r--   1 edrx edrx       15142 Mar 22 12:47 Calendar2.lua
-rw-r--r--   1 edrx edrx       20770 Jun 15 08:36 Calendar2.lua.html
-rw-r--r--   1 edrx edrx       13383 Nov 25  2023 Capts1.lua
-rw-r--r--   1 edrx edrx       22736 Jun 15 08:36 Capts1.lua.html
-rw-r--r--   1 edrx edrx         357 Aug 18  2023 Capts2.lua
-rw-r--r--   1 edrx edrx        1200 Jun 15 08:36 Capts2.lua.html
-rw-r--r--   1 edrx edrx        3059 Feb 11 15:26 Co1.lua
-rw-r--r--   1 edrx edrx        5877 Jun 15 08:36 Co1.lua.html
-rw-r--r--   1 edrx edrx        3443 Jan  8 16:08 Code.lua
-rw-r--r--   1 edrx edrx        5453 Jun 15 08:36 Code.lua.html
-rw-r--r--   1 edrx edrx        4030 Jan 12 20:09 Code2.lua
-rw-r--r--   1 edrx edrx        6346 Jun 15 08:36 Code2.lua.html
-rw-r--r--   1 edrx edrx        3646 Jul  1  2022 CodeEtexTla.lua
-rw-r--r--   1 edrx edrx        7498 Jun 15 08:36 CodeEtexTla.lua.html
-rw-r--r--   1 edrx edrx        3538 Jun 11  2023 Comissao1.lua
-rw-r--r--   1 edrx edrx        5598 Jun 15 08:36 Comissao1.lua.html
-rw-r--r--   1 edrx edrx        2434 Feb  3 00:21 CoroRepl1.lua
-rw-r--r--   1 edrx edrx        4102 Jun 15 08:36 CoroRepl1.lua.html
-rw-r--r--   1 edrx edrx        4810 Feb  4 01:00 CoroRepl2.lua
-rw-r--r--   1 edrx edrx        8884 Jun 15 08:36 CoroRepl2.lua.html
-rw-r--r--   1 edrx edrx        6457 Sep 22  2021 DFS-old.lua
-rw-r--r--   1 edrx edrx        8336 Jun 15 08:36 DFS-old.lua.html
-rw-r--r--   1 edrx edrx        6462 Sep 22  2021 DFS.lua
-rw-r--r--   1 edrx edrx        8457 Jun 15 08:36 DFS.lua.html
-rw-r--r--   1 edrx edrx        1772 Sep 19  2021 DFSTriangle.lua
-rw-r--r--   1 edrx edrx        2520 Jun 15 08:36 DFSTriangle.lua.html
-rw-r--r--   1 edrx edrx        9027 Nov 11  2023 DGetInfo1.lua
-rw-r--r--   1 edrx edrx       13662 Jun 15 08:36 DGetInfo1.lua.html
-rw-r--r--   1 edrx edrx        3271 Jan 13 23:47 Dang1.lua
-rw-r--r--   1 edrx edrx        5712 Jun 15 08:36 Dang1.lua.html
-rw-r--r--   1 edrx edrx        1307 Jan 20 15:47 DangBlogme1.lua
-rw-r--r--   1 edrx edrx        2718 Jun 15 08:36 DangBlogme1.lua.html
-rw-r--r--   1 edrx edrx       11723 Mar 15 02:36 Dednat7.lua
-rw-r--r--   1 edrx edrx       19674 Jun 15 08:36 Dednat7.lua.html
-rw-r--r--   1 edrx edrx        5648 Dec 11  2023 DednatRequire1.lua
-rw-r--r--   1 edrx edrx        9947 Jun 15 08:36 DednatRequire1.lua.html
-rw-r--r--   1 edrx edrx        3468 Feb  8  2023 DeleteComments1.lua
-rw-r--r--   1 edrx edrx        5662 Jun 15 08:36 DeleteComments1.lua.html
-rw-r--r--   1 edrx edrx        2084 Mar 15 08:27 DeleteComments2.lua
-rw-r--r--   1 edrx edrx        3884 Jun 15 08:36 DeleteComments2.lua.html
-rwxr-xr-x   1 edrx edrx        2701 Feb  9 11:53 Deps1.lua*
-rw-r--r--   1 edrx edrx        5054 Jun 15 08:36 Deps1.lua.html
-rw-r--r--   1 edrx edrx       15755 Sep  3  2023 ELLua1.lua
-rw-r--r--   1 edrx edrx       23419 Jun 15 08:36 ELLua1.lua.html
-rw-r--r--   1 edrx edrx        8935 Dec 16 14:30 ELpeg-cme1.lua
-rw-r--r--   1 edrx edrx       13078 Jun 15 08:36 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 15 08:36 ELpeg-lambda1.lua.html
-rw-r--r--   1 edrx edrx       32745 Jan 28 20:23 ELpeg1.lua
-rw-r--r--   1 edrx edrx       52145 Jun 15 08:36 ELpeg1.lua.html
-rw-r--r--   1 edrx edrx        2343 Nov 23  2023 ELpeg2.lua
-rw-r--r--   1 edrx edrx        3863 Jun 15 08:36 ELpeg2.lua.html
-rw-r--r--   1 edrx edrx        2309 Nov 23  2023 ELpeg3.lua
-rw-r--r--   1 edrx edrx        4487 Jun 15 08:36 ELpeg3.lua.html
-rw-r--r--   1 edrx edrx        4216 Jul  2  2022 EScript.lua
-rw-r--r--   1 edrx edrx        5730 Jun 15 08:36 EScript.lua.html
-rw-r--r--   1 edrx edrx         362 Nov 27  2022 EmacsClient1.lua
-rw-r--r--   1 edrx edrx        1244 Jun 15 08:36 EmacsClient1.lua.html
-rw-r--r--   1 edrx edrx        3736 Dec 13  2023 EmacsConf2023.lua
-rw-r--r--   1 edrx edrx        6331 Jun 15 08:36 EmacsConf2023.lua.html
-rw-r--r--   1 edrx edrx        5077 Mar 27 03:21 Escadas1.lua
-rw-r--r--   1 edrx edrx        9424 Jun 15 08:36 Escadas1.lua.html
-rw-r--r--   1 edrx edrx        8791 Jul  5  2023 Estatistica1.lua
-rw-r--r--   1 edrx edrx       17147 Jun 15 08:36 Estatistica1.lua.html
-rw-r--r--   1 edrx edrx        4932 Dec 17 19:41 ExprDxDy1.lua
-rw-r--r--   1 edrx edrx        9572 Jun 15 08:36 ExprDxDy1.lua.html
-rw-r--r--   1 edrx edrx        8309 Oct 20  2021 Fitch-old.lua
-rw-r--r--   1 edrx edrx        9620 Jun 15 08:36 Fitch-old.lua.html
-rw-r--r--   1 edrx edrx        4322 Oct 22  2021 Fitch.lua
-rw-r--r--   1 edrx edrx        5453 Jun 15 08:36 Fitch.lua.html
-rw-r--r--   1 edrx edrx        1401 Nov  4  2023 Fold1.lua
-rw-r--r--   1 edrx edrx        2855 Jun 15 08:36 Fold1.lua.html
-rw-r--r--   1 edrx edrx        4538 Nov 25  2023 Freeze1.lua
-rw-r--r--   1 edrx edrx        9187 Jun 15 08:36 Freeze1.lua.html
-rw-r--r--   1 edrx edrx        8826 Jul 16  2022 GetInfo.lua
-rw-r--r--   1 edrx edrx       14234 Jun 15 08:36 GetInfo.lua.html
-rw-r--r--   1 edrx edrx        5747 Sep  7  2022 GetInfo2.lua
-rw-r--r--   1 edrx edrx        7734 Jun 15 08:36 GetInfo2.lua.html
-rw-r--r--   1 edrx edrx        2146 Dec 13  2023 GetOpt1.lua
-rw-r--r--   1 edrx edrx        3859 Jun 15 08:36 GetOpt1.lua.html
-rw-r--r--   1 edrx edrx        2493 May 26  2023 Globals1.lua
-rw-r--r--   1 edrx edrx        4821 Jun 15 08:36 Globals1.lua.html
-rw-r--r--   1 edrx edrx        4484 Mar 15 12:00 Gram1.lua
-rw-r--r--   1 edrx edrx        7578 Jun 15 08:36 Gram1.lua.html
-rw-r--r--   1 edrx edrx       24332 Apr 20  2023 Gram2.lua
-rw-r--r--   1 edrx edrx       37468 Jun 15 08:36 Gram2.lua.html
-rw-r--r--   1 edrx edrx        8464 Aug 27  2023 Gram3.lua
-rw-r--r--   1 edrx edrx       16452 Jun 15 08:36 Gram3.lua.html
-rw-r--r--   1 edrx edrx        2780 Mar 16 23:01 Gram4.lua
-rw-r--r--   1 edrx edrx        5109 Jun 15 08:36 Gram4.lua.html
-rw-r--r--   1 edrx edrx         508 Oct  6  2022 ImagensDeIntervalos1.lua
-rw-r--r--   1 edrx edrx        1442 Jun 15 08:36 ImagensDeIntervalos1.lua.html
-rw-r--r--   1 edrx edrx       11608 Nov 10  2023 Indent1.lua
-rw-r--r--   1 edrx edrx       19422 Jun 15 08:36 Indent1.lua.html
-rw-r--r--   1 edrx edrx       10840 Dec  2  2023 Indent2.lua
-rw-r--r--   1 edrx edrx       14704 Jun 15 08:36 Indent2.lua.html
-rw-r--r--   1 edrx edrx        5086 Nov 16  2021 Interpret.lua
-rw-r--r--   1 edrx edrx        7533 Jun 15 08:36 Interpret.lua.html
-rw-r--r--   1 edrx edrx        9713 Dec 17 19:44 LPex1.lua
-rw-r--r--   1 edrx edrx       17282 Jun 15 08:36 LPex1.lua.html
-rw-r--r--   1 edrx edrx        6400 Jul 17  2022 Lazy1.lua
-rw-r--r--   1 edrx edrx        8674 Jun 15 08:36 Lazy1.lua.html
-rw-r--r--   1 edrx edrx       17227 Jul 20  2022 Lazy2.lua
-rw-r--r--   1 edrx edrx       26422 Jun 15 08:36 Lazy2.lua.html
-rw-r--r--   1 edrx edrx        8593 Jul 20  2022 Lazy3.lua
-rw-r--r--   1 edrx edrx       14450 Jun 15 08:36 Lazy3.lua.html
-rw-r--r--   1 edrx edrx        9710 Jul 21  2022 Lazy4.lua
-rw-r--r--   1 edrx edrx       16599 Jun 15 08:36 Lazy4.lua.html
-rw-r--r--   1 edrx edrx       19631 Jul 25  2022 Lazy5.lua
-rw-r--r--   1 edrx edrx       35642 Jun 15 08:36 Lazy5.lua.html
-rwxr-xr-x   1 edrx edrx        2881 Mar 30 14:27 LeanMetaDoc1.lua*
-rw-r--r--   1 edrx edrx        5466 Jun 15 08:36 LeanMetaDoc1.lua.html
-rw-r--r--   1 edrx edrx        1446 Sep  3  2022 Lisp1.lua
-rw-r--r--   1 edrx edrx        2767 Jun 15 08:36 Lisp1.lua.html
-rw-r--r--   1 edrx edrx        5231 Feb 25 13:28 Lisp2.lua
-rw-r--r--   1 edrx edrx        7940 Jun 15 08:36 Lisp2.lua.html
-rw-r--r--   1 edrx edrx        4139 Oct  8  2023 Lisp3.lua
-rw-r--r--   1 edrx edrx        5801 Jun 15 08:36 Lisp3.lua.html
-rw-r--r--   1 edrx edrx        2034 Oct  8  2023 Lisp4.lua
-rw-r--r--   1 edrx edrx        3627 Jun 15 08:36 Lisp4.lua.html
-rw-r--r--   1 edrx edrx       14785 Dec 31 18:23 Loeliger1.lua
-rw-r--r--   1 edrx edrx       22852 Jun 15 08:36 Loeliger1.lua.html
-rw-r--r--   1 edrx edrx       12980 Mar  6  2023 LogsPdfizados1.lua
-rw-r--r--   1 edrx edrx       17349 Jun 15 08:36 LogsPdfizados1.lua.html
-rw-r--r--   1 edrx edrx        3001 Mar 19  2022 Lpeg1.lua
-rw-r--r--   1 edrx edrx        4935 Jun 15 08:36 Lpeg1.lua.html
-rw-r--r--   1 edrx edrx        3048 Mar 20  2022 Lpeg2.lua
-rw-r--r--   1 edrx edrx        5994 Jun 15 08:36 Lpeg2.lua.html
-rw-r--r--   1 edrx edrx        2453 Mar 20  2022 Lpeg3.lua
-rw-r--r--   1 edrx edrx        3913 Jun 15 08:36 Lpeg3.lua.html
-rw-r--r--   1 edrx edrx        2878 Mar 21  2022 Lpeg4.lua
-rw-r--r--   1 edrx edrx        4466 Jun 15 08:36 Lpeg4.lua.html
-rw-r--r--   1 edrx edrx        1381 Feb  2 18:27 LpegDebugMode1.lua
-rw-r--r--   1 edrx edrx        2757 Jun 15 08:36 LpegDebugMode1.lua.html
-rw-r--r--   1 edrx edrx        3466 Mar 19  2022 LpegRex1.lua
-rw-r--r--   1 edrx edrx        5572 Jun 15 08:36 LpegRex1.lua.html
-rw-r--r--   1 edrx edrx        2366 Feb 23  2023 LpegRex2.lua
-rw-r--r--   1 edrx edrx        4033 Jun 15 08:36 LpegRex2.lua.html
-rw-r--r--   1 edrx edrx        4605 Feb 15 02:30 LpegRex3.lua
-rw-r--r--   1 edrx edrx        8243 Jun 15 08:36 LpegRex3.lua.html
-rw-r--r--   1 edrx edrx        9999 Jun  9  2023 LsQuadros1-cache.lua
-rw-r--r--   1 edrx edrx       10505 Jun 15 08:36 LsQuadros1-cache.lua.html
-rw-r--r--   1 edrx edrx        4577 Jun 15  2023 LsQuadros1.lua
-rw-r--r--   1 edrx edrx        9994 Jun 15 08:36 LsQuadros1.lua.html
-rw-r--r--   1 edrx edrx        2808 Sep 24  2021 LuaBlocks.lua
-rw-r--r--   1 edrx edrx        3889 Jun 15 08:36 LuaBlocks.lua.html
-rw-r--r--   1 edrx edrx        2415 Oct 23  2022 LuaTex1.lua
-rw-r--r--   1 edrx edrx        4524 Jun 15 08:36 LuaTex1.lua.html
-rw-r--r--   1 edrx edrx        1869 Feb  6 12:10 MapAST1.lua
-rw-r--r--   1 edrx edrx        3983 Jun 15 08:36 MapAST1.lua.html
-rw-r--r--   1 edrx edrx        8082 Apr  3 01:23 MapAST2.lua
-rw-r--r--   1 edrx edrx       13919 Jun 15 08:36 MapAST2.lua.html
-rw-r--r--   1 edrx edrx        4899 Jan 17 19:27 Match1.lua
-rw-r--r--   1 edrx edrx        8949 Jun 15 08:36 Match1.lua.html
-rw-r--r--   1 edrx edrx        9026 Oct 18  2023 Maxima1.lua
-rw-r--r--   1 edrx edrx       15664 Jun 15 08:36 Maxima1.lua.html
-rw-r--r--   1 edrx edrx       18263 Jan 29 23:39 Maxima2.lua
-rw-r--r--   1 edrx edrx       30252 Jun 15 08:36 Maxima2.lua.html
-rw-r--r--   1 edrx edrx        3477 Oct 12  2023 MiniV1.lua
-rw-r--r--   1 edrx edrx        5583 Jun 15 08:36 MiniV1.lua.html
-rw-r--r--   1 edrx edrx        2711 Sep  3  2022 Monkey1.lua
-rw-r--r--   1 edrx edrx        3782 Jun 15 08:36 Monkey1.lua.html
-rw-r--r--   1 edrx edrx        6494 Mar  6  2022 MyRe1.lua
-rw-r--r--   1 edrx edrx        7314 Jun 15 08:36 MyRe1.lua.html
-rw-r--r--   1 edrx edrx        9457 Dec 17 21:00 Numerozinhos1.lua
-rw-r--r--   1 edrx edrx       18805 Jun 15 08:36 Numerozinhos1.lua.html
-rw-r--r--   1 edrx edrx        3139 Nov  2  2023 PCall1.lua
-rw-r--r--   1 edrx edrx        6999 Jun 15 08:36 PCall1.lua.html
-rw-r--r--   1 edrx edrx       13570 Sep  7  2022 Parenthesize1.lua
-rw-r--r--   1 edrx edrx       19290 Jun 15 08:36 Parenthesize1.lua.html
-rw-r--r--   1 edrx edrx        5070 Sep  9  2022 Parenthesize2.lua
-rw-r--r--   1 edrx edrx        6916 Jun 15 08:36 Parenthesize2.lua.html
-rw-r--r--   1 edrx edrx        4228 Feb 11 14:26 ParseTikz1.lua
-rw-r--r--   1 edrx edrx        8404 Jun 15 08:36 ParseTikz1.lua.html
-rw-r--r--   1 edrx edrx        4722 Dec 31 17:43 ParseTimeline1.lua
-rw-r--r--   1 edrx edrx        7201 Jun 15 08:36 ParseTimeline1.lua.html
-rw-r--r--   1 edrx edrx        4267 Nov  9  2023 ParseTree1.lua
-rw-r--r--   1 edrx edrx        8831 Jun 15 08:36 ParseTree1.lua.html
-rw-r--r--   1 edrx edrx        7066 Feb  4 22:10 ParseTree2.lua
-rw-r--r--   1 edrx edrx       14308 Jun 15 08:36 ParseTree2.lua.html
-rw-r--r--   1 edrx edrx        2219 Jul  1  2022 Path.lua
-rw-r--r--   1 edrx edrx        3699 Jun 15 08:36 Path.lua.html
-rw-r--r--   1 edrx edrx        1015 Feb  2  2023 PathTo1.lua
-rw-r--r--   1 edrx edrx        2221 Jun 15 08:36 PathTo1.lua.html
-rw-r--r--   1 edrx edrx        4527 Mar 31  2023 PegDebug1.lua
-rw-r--r--   1 edrx edrx        6226 Jun 15 08:36 PegDebug1.lua.html
-rw-r--r--   1 edrx edrx        2275 Mar 21 11:38 PercPush1.lua
-rw-r--r--   1 edrx edrx        3645 Jun 15 08:36 PercPush1.lua.html
-rw-r--r--   1 edrx edrx       30723 Oct 24  2023 Pict2e1-1.lua
-rw-r--r--   1 edrx edrx       48094 Jun 15 08:36 Pict2e1-1.lua.html
-rw-r--r--   1 edrx edrx       36458 Jul 25  2022 Pict2e1.lua
-rw-r--r--   1 edrx edrx       54773 Jun 15 08:36 Pict2e1.lua.html
-rw-r--r--   1 edrx edrx       16440 Jun 13  2023 Pict2e2.lua
-rw-r--r--   1 edrx edrx       24502 Jun 15 08:36 Pict2e2.lua.html
-rw-r--r--   1 edrx edrx       16175 Dec 17 21:02 Pict3.lua
-rw-r--r--   1 edrx edrx       25694 Jun 15 08:36 Pict3.lua.html
-rw-r--r--   1 edrx edrx       15776 Jun  1  2022 Pict3D1.lua
-rw-r--r--   1 edrx edrx       26398 Jun 15 08:36 Pict3D1.lua.html
-rw-r--r--   1 edrx edrx        1899 Oct 29  2023 PictShow1.lua
-rw-r--r--   1 edrx edrx        4639 Jun 15 08:36 PictShow1.lua.html
-rw-r--r--   1 edrx edrx       40938 Jul 11  2022 Piecewise1.lua
-rw-r--r--   1 edrx edrx       58114 Jun 15 08:36 Piecewise1.lua.html
-rw-r--r--   1 edrx edrx       41427 Dec 17 21:07 Piecewise2.lua
-rw-r--r--   1 edrx edrx       59274 Jun 15 08:36 Piecewise2.lua.html
-rw-r--r--   1 edrx edrx        8573 Apr  9  2022 Pis1.lua
-rw-r--r--   1 edrx edrx       12795 Jun 15 08:36 Pis1.lua.html
-rw-r--r--   1 edrx edrx       10650 Apr 12  2022 Prad1.lua
-rw-r--r--   1 edrx edrx       15477 Jun 15 08:36 Prad1.lua.html
-rw-r--r--   1 edrx edrx       32476 Apr 12  2022 PradPict2e1.lua
-rw-r--r--   1 edrx edrx       49658 Jun 15 08:36 PradPict2e1.lua.html
-rw-r--r--   1 edrx edrx        1707 Apr  9  2022 PradTest1.lua
-rw-r--r--   1 edrx edrx        2928 Jun 15 08:36 PradTest1.lua.html
-rw-r--r--   1 edrx edrx        3014 Apr  1 00:35 Pratt1.lua
-rw-r--r--   1 edrx edrx        5847 Jun 15 08:36 Pratt1.lua.html
-rw-r--r--   1 edrx edrx       10285 Jan 27 22:44 PreTraceback1.lua
-rw-r--r--   1 edrx edrx       15569 Jun 15 08:36 PreTraceback1.lua.html
-rw-r--r--   1 edrx edrx        3937 Sep  9  2022 PrecParser1.lua
-rw-r--r--   1 edrx edrx        6585 Jun 15 08:36 PrecParser1.lua.html
-rw-r--r--   1 edrx edrx        5468 Dec 10  2023 PrintFunction1.lua
-rw-r--r--   1 edrx edrx        8510 Jun 15 08:36 PrintFunction1.lua.html
-rw-r--r--   1 edrx edrx        2893 Jan 27 23:33 Prosody1.lua
-rw-r--r--   1 edrx edrx        5448 Jun 15 08:36 Prosody1.lua.html
-rwxr-xr-x   1 edrx edrx        3183 May  7 22:32 QPDFMerge.lua*
-rw-r--r--   1 edrx edrx        5442 Jun 15 08:36 QPDFMerge.lua.html
-rw-r--r--   1 edrx edrx        3143 Jun  3  2022 QVis1.lua
-rw-r--r--   1 edrx edrx        4783 Jun 15 08:36 QVis1.lua.html
-rw-r--r--   1 edrx edrx         355 Apr  5  2023 Quadros1.lua
-rw-r--r--   1 edrx edrx        1226 Jun 15 08:36 Quadros1.lua.html
-rw-r--r--   1 edrx edrx        6258 Jul 11  2022 RAng1.lua
-rw-r--r--   1 edrx edrx       11722 Jun 15 08:36 RAng1.lua.html
-rw-r--r--   1 edrx edrx        2641 Jul 11  2022 RAngFormulas1.lua
-rw-r--r--   1 edrx edrx        5248 Jun 15 08:36 RAngFormulas1.lua.html
-rw-r--r--   1 edrx edrx        1717 Sep 25  2021 README.e
-rw-r--r--   1 edrx edrx        3945 Jun 15 08:36 README.e.html
-rw-r--r--   1 edrx edrx        3245 Dec 16 13:41 Re-infix.lua
-rw-r--r--   1 edrx edrx        6390 Jun 15 08:36 Re-infix.lua.html
-rw-r--r--   1 edrx edrx       11913 Oct 13  2021 Re.lua
-rw-r--r--   1 edrx edrx       19461 Jun 15 08:36 Re.lua.html
-rw-r--r--   1 edrx edrx        7171 Dec 17 12:44 Re2.lua
-rw-r--r--   1 edrx edrx       10557 Jun 15 08:36 Re2.lua.html
-rw-r--r--   1 edrx edrx       13906 Jul 12  2022 Rect.lua
-rw-r--r--   1 edrx edrx       21630 Jun 15 08:36 Rect.lua.html
-rw-r--r--   1 edrx edrx       15161 Nov  4  2023 Repl1.lua
-rw-r--r--   1 edrx edrx       23288 Jun 15 08:36 Repl1.lua.html
-rw-r--r--   1 edrx edrx        8414 Nov  9  2022 Repl2.lua
-rw-r--r--   1 edrx edrx       16832 Jun 15 08:36 Repl2.lua.html
-rw-r--r--   1 edrx edrx        8236 Jan 27 19:55 Repl3.lua
-rw-r--r--   1 edrx edrx       16077 Jun 15 08:36 Repl3.lua.html
-rw-r--r--   1 edrx edrx        5644 Sep 24  2021 Set.lua
-rw-r--r--   1 edrx edrx        9062 Jun 15 08:36 Set.lua.html
-rw-r--r--   1 edrx edrx         277 Sep 18  2021 SetL.lua
-rw-r--r--   1 edrx edrx        1109 Jun 15 08:36 SetL.lua.html
-rw-r--r--   1 edrx edrx        2783 Dec 29 15:19 SexpAtEol1.lua
-rw-r--r--   1 edrx edrx        4960 Jun 15 08:36 SexpAtEol1.lua.html
-rw-r--r--   1 edrx edrx        1757 Apr 22  2023 Show1.lua
-rw-r--r--   1 edrx edrx        4121 Jun 15 08:36 Show1.lua.html
-rw-r--r--   1 edrx edrx         846 Apr 24  2023 Show2-outer.tex
-rw-r--r--   1 edrx edrx        2223 Jun 15 08:36 Show2-outer.tex.html
-rw-r--r--   1 edrx edrx       19377 Mar 16 19:53 Show2.lua
-rw-r--r--   1 edrx edrx       34421 Jun 15 08:36 Show2.lua.html
-rw-r--r--   1 edrx edrx        8603 Feb 11  2023 SmallTalk1.lua
-rw-r--r--   1 edrx edrx       10610 Jun 15 08:36 SmallTalk1.lua.html
-rw-r--r--   1 edrx edrx        1438 Jun 23  2023 SortedKeys1.lua
-rw-r--r--   1 edrx edrx        2662 Jun 15 08:36 SortedKeys1.lua.html
-rw-r--r--   1 edrx edrx        2000 Sep 17  2023 Stack1.lua
-rw-r--r--   1 edrx edrx        3213 Jun 15 08:36 Stack1.lua.html
-rw-r--r--   1 edrx edrx        6271 Oct 13  2023 StrGrid1.lua
-rw-r--r--   1 edrx edrx       10278 Jun 15 08:36 StrGrid1.lua.html
-rw-r--r--   1 edrx edrx        8032 Nov 25  2023 Subst1.lua
-rw-r--r--   1 edrx edrx       12287 Jun 15 08:36 Subst1.lua.html
-rw-r--r--   1 edrx edrx        2406 Jan 10 20:52 SubstInSteps1.lua
-rw-r--r--   1 edrx edrx        4128 Jun 15 08:36 SubstInSteps1.lua.html
-rw-r--r--   1 edrx edrx        6268 Aug 11  2023 Subtitles.lua
-rw-r--r--   1 edrx edrx       12100 Jun 15 08:36 Subtitles.lua.html
-rw-r--r--   1 edrx edrx        3270 Mar  4  2023 Subtitles2.lua
-rw-r--r--   1 edrx edrx        4696 Jun 15 08:36 Subtitles2.lua.html
-rw-r--r--   1 edrx edrx       13313 Dec 17 21:19 Surface1.lua
-rw-r--r--   1 edrx edrx       20348 Jun 15 08:36 Surface1.lua.html
-rw-r--r--   1 edrx edrx        5024 Jul 13  2022 SynTreeV1.lua
-rw-r--r--   1 edrx edrx        6869 Jun 15 08:36 SynTreeV1.lua.html
-rw-r--r--   1 edrx edrx        3500 Jun 27  2022 TProps1.lua
-rw-r--r--   1 edrx edrx        5711 Jun 15 08:36 TProps1.lua.html
-rw-r--r--   1 edrx edrx         663 Mar 14 22:36 ThisDir1.lua
-rw-r--r--   1 edrx edrx        1540 Jun 15 08:36 ThisDir1.lua.html
-rw-r--r--   1 edrx edrx        2786 Dec 29 18:11 Tikz2.lua
-rw-r--r--   1 edrx edrx        5318 Jun 15 08:36 Tikz2.lua.html
-rw-r--r--   1 edrx edrx        3478 Sep  4  2023 TikzTrees1.lua
-rw-r--r--   1 edrx edrx        5903 Jun 15 08:36 TikzTrees1.lua.html
-rw-r--r--   1 edrx edrx       10562 Feb  9 08:09 ToTeX1.lua
-rw-r--r--   1 edrx edrx       16182 Jun 15 08:36 ToTeX1.lua.html
-rw-r--r--   1 edrx edrx        7518 Jul 24  2023 TocLines1.lua
-rw-r--r--   1 edrx edrx       11415 Jun 15 08:36 TocLines1.lua.html
-rw-r--r--   1 edrx edrx        4087 Mar 18 12:38 TocLines2.lua
-rw-r--r--   1 edrx edrx        7820 Jun 15 08:36 TocLines2.lua.html
-rw-r--r--   1 edrx edrx        6812 Nov 25  2023 Tos.lua
-rw-r--r--   1 edrx edrx       11666 Jun 15 08:36 Tos.lua.html
-rw-r--r--   1 edrx edrx        5579 Jan 22 20:24 Tos2.lua
-rw-r--r--   1 edrx edrx        8711 Jun 15 08:36 Tos2.lua.html
-rw-r--r--   1 edrx edrx       14222 Mar 31 20:07 Tos3.lua
-rw-r--r--   1 edrx edrx       21318 Jun 15 08:36 Tos3.lua.html
-rw-r--r--   1 edrx edrx        3046 Dec  7  2023 Tracinhos1.lua
-rw-r--r--   1 edrx edrx        6028 Jun 15 08:36 Tracinhos1.lua.html
-rw-r--r--   1 edrx edrx        1011 Feb  4 19:40 Tree1.lua
-rw-r--r--   1 edrx edrx        2341 Jun 15 08:36 Tree1.lua.html
-rw-r--r--   1 edrx edrx        3866 Feb 15  2023 Tudos1.lua
-rw-r--r--   1 edrx edrx        7494 Jun 15 08:36 Tudos1.lua.html
-rw-r--r--   1 edrx edrx        3980 Jul 11  2022 UbExpr1.lua
-rw-r--r--   1 edrx edrx        5207 Jun 15 08:36 UbExpr1.lua.html
-rw-r--r--   1 edrx edrx        7281 Jul 11  2022 UbExpr2.lua
-rw-r--r--   1 edrx edrx       11993 Jun 15 08:36 UbExpr2.lua.html
-rw-r--r--   1 edrx edrx        4579 Nov 25  2023 Und1.lua
-rw-r--r--   1 edrx edrx        8752 Jun 15 08:36 Und1.lua.html
-rw-r--r--   1 edrx edrx        6740 Apr  5 20:05 Und2D1.lua
-rw-r--r--   1 edrx edrx       12035 Jun 15 08:36 Und2D1.lua.html
-rw-r--r--   1 edrx edrx        4938 Jul 16  2022 Verbatim1.lua
-rw-r--r--   1 edrx edrx        7998 Jun 15 08:36 Verbatim1.lua.html
-rw-r--r--   1 edrx edrx        5384 Nov 26  2023 Verbatim2.lua
-rw-r--r--   1 edrx edrx       10718 Jun 15 08:36 Verbatim2.lua.html
-rw-r--r--   1 edrx edrx        7530 Apr  2 10:23 Verbatim3.lua
-rw-r--r--   1 edrx edrx       12761 Jun 15 08:36 Verbatim3.lua.html
-rw-r--r--   1 edrx edrx        4295 Apr  2 11:06 Verbatim4.lua
-rw-r--r--   1 edrx edrx        6695 Jun 15 08:36 Verbatim4.lua.html
-rw-r--r--   1 edrx edrx        4247 Oct 30  2023 VideoIndex.lua
-rw-r--r--   1 edrx edrx        5981 Jun 15 08:36 VideoIndex.lua.html
-rw-r--r--   1 edrx edrx        3623 Feb 13 22:49 VisCapts1.lua
-rw-r--r--   1 edrx edrx        7345 Jun 15 08:36 VisCapts1.lua.html
-rw-r--r--   1 edrx edrx        3275 Nov 26  2023 WithFakePrint1.lua
-rw-r--r--   1 edrx edrx        5544 Jun 15 08:36 WithFakePrint1.lua.html
-rw-r--r--   1 edrx edrx        5192 Nov 12  2023 XPCall1.lua
-rw-r--r--   1 edrx edrx        8404 Jun 15 08:36 XPCall1.lua.html
-rw-r--r--   1 edrx edrx        2046 Nov  5  2023 Xpcall1.lua
-rw-r--r--   1 edrx edrx        4159 Jun 15 08:36 Xpcall1.lua.html
-rw-r--r--   1 edrx edrx       51825 Jun 17  2022 ZHA1.lua
-rw-r--r--   1 edrx edrx       73069 Jun 15 08:36 ZHA1.lua.html
-rw-r--r--   1 edrx edrx        2543 Nov 25  2023 addoverrides1.lua
-rw-r--r--   1 edrx edrx        4497 Jun 15 08:36 addoverrides1.lua.html
-rw-r--r--   1 edrx edrx         644 Feb 21  2020 anchors.lua
-rw-r--r--   1 edrx edrx        1265 Jun 15 08:36 anchors.lua.html
-rw-r--r--   1 edrx edrx       10929 Feb 21  2020 apt-move.lua
-rw-r--r--   1 edrx edrx       15589 Jun 15 08:36 apt-move.lua.html
-rw-r--r--   1 edrx edrx         986 Nov 24  2021 arithfbs.lua
-rw-r--r--   1 edrx edrx        2131 Jun 15 08:36 arithfbs.lua.html
-rw-r--r--   1 edrx edrx        1258 Nov  1  2021 badchars-unibyte.lua
-rw-r--r--   1 edrx edrx        2976 Jun 15 08:36 badchars-unibyte.lua.html
-rw-r--r--   1 edrx edrx        5658 Feb 21  2020 begriff.lua
-rw-r--r--   1 edrx edrx        7029 Jun 15 08:36 begriff.lua.html
-rw-r--r--   1 edrx edrx        6875 Mar  9  2022 bib.lua
-rw-r--r--   1 edrx edrx       10402 Jun 15 08:36 bib.lua.html
-rw-r--r--   1 edrx edrx        4915 Feb 21  2020 binops-re.lua
-rw-r--r--   1 edrx edrx        6306 Jun 15 08:36 binops-re.lua.html
-rw-r--r--   1 edrx edrx       19127 Feb 21  2020 blogme.lua
-rw-r--r--   1 edrx edrx       21248 Jun 15 08:36 blogme.lua.html
-rw-r--r--   1 edrx edrx        1137 Jan 15  2021 blogme2021.lua
-rw-r--r--   1 edrx edrx        2492 Jun 15 08:36 blogme2021.lua.html
-rw-r--r--   1 edrx edrx       14645 Apr 24 01:56 book-index.lua
-rw-r--r--   1 edrx edrx       29047 Jun 15 08:36 book-index.lua.html
-rw-r--r--   1 edrx edrx        1491 Feb 21  2020 boxchars.lua
-rw-r--r--   1 edrx edrx        2387 Jun 15 08:36 boxchars.lua.html
-rw-r--r--   1 edrx edrx        6048 Feb 21  2020 brackets.lua
-rw-r--r--   1 edrx edrx        6634 Jun 15 08:36 brackets.lua.html
-rw-r--r--   1 edrx edrx         293 Feb 21  2020 call7777.lua
-rw-r--r--   1 edrx edrx         783 Jun 15 08:36 call7777.lua.html
-rw-r--r--   1 edrx edrx        5706 Feb 21  2020 canvas.lua
-rw-r--r--   1 edrx edrx        6911 Jun 15 08:36 canvas.lua.html
-rw-r--r--   1 edrx edrx       14301 Feb 21  2020 canvas2.lua
-rw-r--r--   1 edrx edrx       15622 Jun 15 08:36 canvas2.lua.html
-rwxr-xr-x   1 edrx edrx       30663 Feb 21  2020 canvas3.lua*
-rw-r--r--   1 edrx edrx       47848 Jun 15 08:36 canvas3.lua.html
-rw-r--r--   1 edrx edrx        1504 Aug 31  2021 complex.lua
-rw-r--r--   1 edrx edrx        2578 Jun 15 08:36 complex.lua.html
-rw-r--r--   1 edrx edrx        2383 Feb 21  2020 composechars-u8.lua
-rw-r--r--   1 edrx edrx        4205 Jun 15 08:36 composechars-u8.lua.html
-rw-r--r--   1 edrx edrx        1855 Feb 21  2020 ctemplate.lua
-rw-r--r--   1 edrx edrx        3123 Jun 15 08:36 ctemplate.lua.html
-rw-r--r--   1 edrx edrx        5603 Feb 21  2020 debs.lua
-rw-r--r--   1 edrx edrx        6469 Jun 15 08:36 debs.lua.html
-rwxr-xr-x   1 edrx edrx        6058 Feb 21  2020 debs2.lua*
-rw-r--r--   1 edrx edrx        7603 Jun 15 08:36 debs2.lua.html
-rwxr-xr-x   1 edrx edrx         700 Feb 21  2020 debtemplate.lua*
-rw-r--r--   1 edrx edrx        1852 Jun 15 08:36 debtemplate.lua.html
-rwxr-xr-x   1 edrx edrx       13798 Feb 21  2020 dednat.lua*
-rw-r--r--   1 edrx edrx       23187 Jun 15 08:36 dednat.lua.html
-rwxr-xr-x   1 edrx edrx       11372 Jun 13  2021 defwithmanyargs.lua*
-rw-r--r--   1 edrx edrx       18061 Jun 15 08:36 defwithmanyargs.lua.html
-rw-r--r--   1 edrx edrx        6184 Feb 21  2020 distributivity.lua
-rw-r--r--   1 edrx edrx        8370 Jun 15 08:36 distributivity.lua.html
-rwxr-xr-x   1 edrx edrx        1299 Feb 21  2020 djview-hack.lua*
-rw-r--r--   1 edrx edrx        2980 Jun 15 08:36 djview-hack.lua.html
-rw-r--r--   1 edrx edrx       87071 Jan 28 02:30 edrxlib.lua
-rw-r--r--   1 edrx edrx      169670 Jun 15 08:36 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 15 08:36 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 15 08:36 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 15 08:36 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 15 08:36 emaxima.lua.html
-rw-r--r--   1 edrx edrx       21593 Aug 19  2023 eoo.lua
-rw-r--r--   1 edrx edrx       29173 Jun 15 08:36 eoo.lua.html
-rwxr-xr-x   1 edrx edrx        7301 Feb 21  2020 exifdatetime.lua*
-rw-r--r--   1 edrx edrx       12781 Jun 15 08:36 exifdatetime.lua.html
-rw-r--r--   1 edrx edrx       61872 Feb 21  2020 fbcomments.lua
-rw-r--r--   1 edrx edrx       74942 Jun 15 08:36 fbcomments.lua.html
-rwxr-xr-x   1 edrx edrx       10533 Oct 23  2022 flsfiles.lua*
-rw-r--r--   1 edrx edrx       14905 Jun 15 08:36 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 15 08:36 forall_0.lua.html
-rw-r--r--   1 edrx edrx        2789 Feb 21  2020 horarios.lua
-rw-r--r--   1 edrx edrx        3650 Jun 15 08:36 horarios.lua.html
-rw-r--r--   1 edrx edrx       10803 Feb 21  2020 inc.lua
-rw-r--r--   1 edrx edrx       17510 Jun 15 08:36 inc.lua.html
-rw-r--r--   1 edrx edrx       28970 Feb 21  2020 index.blogme
-rw-r--r--   1 edrx edrx       34699 Jun 15 08:36 index.blogme.html
-rw-r--r--   1 edrx edrx        1543 Feb 21  2020 integrate-2015.lua
-rw-r--r--   1 edrx edrx        2432 Jun 15 08:36 integrate-2015.lua.html
-rw-r--r--   1 edrx edrx        3458 Feb 21  2020 integration.lua
-rw-r--r--   1 edrx edrx        4476 Jun 15 08:36 integration.lua.html
-rw-r--r--   1 edrx edrx        7538 Feb 21  2020 interactive.lua
-rw-r--r--   1 edrx edrx        9623 Jun 15 08:36 interactive.lua.html
-rw-r--r--   1 edrx edrx        1640 Feb 21  2020 latexdags.lua
-rw-r--r--   1 edrx edrx        2636 Jun 15 08:36 latexdags.lua.html
drwxr-xr-x   2 edrx edrx        4096 Jun 15 08:34 ldb/
-rw-r--r--   1 edrx edrx        9295 Feb 21  2020 lh.lua
-rw-r--r--   1 edrx edrx       10103 Jun 15 08:36 lh.lua.html
drwxr-xr-x   2 edrx edrx        4096 Jun 15 08:36 loadlib/
-rw-r--r--   1 edrx edrx        2556 Sep 19  2021 lowerdiag.lua
-rw-r--r--   1 edrx edrx        3537 Jun 15 08:36 lowerdiag.lua.html
-rw-r--r--   1 edrx edrx        3260 Sep 25  2021 lpeg-minitut.lua
-rw-r--r--   1 edrx edrx        5514 Jun 15 08:36 lpeg-minitut.lua.html
-rw-r--r--   1 edrx edrx        1697 Feb 21  2020 lstoindexhtml.lua
-rw-r--r--   1 edrx edrx        3701 Jun 15 08:36 lstoindexhtml.lua.html
-rw-r--r--   1 edrx edrx        1719 Feb 21  2020 lua50beta-argpatch.sh
-rw-r--r--   1 edrx edrx        2990 Jun 15 08:36 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       87116 Apr  1 01:52 lua50init.lua
-rw-r--r--   1 edrx edrx      169852 Jun 15 08:36 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 15 08:36 lua50ref.r2.html
-rw-r--r--   1 edrx edrx       20757 Feb 21  2020 luaforth.lua
-rw-r--r--   1 edrx edrx       22431 Jun 15 08:36 luaforth.lua.html
-rw-r--r--   1 edrx edrx         924 Feb 21  2020 luarocks-extra.lua
-rw-r--r--   1 edrx edrx        2645 Jun 15 08:36 luarocks-extra.lua.html
-rw-r--r--   1 edrx edrx        3948 Feb 21  2020 luatclbridge.c
-rw-r--r--   1 edrx edrx        5152 Jun 15 08:36 luatclbridge.c.html
-rw-r--r--   1 edrx edrx        1549 Mar  1  2021 lvalue.lua
-rw-r--r--   1 edrx edrx        3442 Jun 15 08:36 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 15 08:36 math.blogme.html
-rw-r--r--   1 edrx edrx        3205 Feb 21  2020 microlisp-2017.lua
-rw-r--r--   1 edrx edrx        4144 Jun 15 08:36 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 15 08:36 middle-c.lua.html
-rw-r--r--   1 edrx edrx        4962 Mar  2  2021 miniforth2021.lua
-rw-r--r--   1 edrx edrx        8817 Jun 15 08:36 miniforth2021.lua.html
-rw-r--r--   1 edrx edrx        5543 Feb 21  2020 modal.lua
-rw-r--r--   1 edrx edrx        6165 Jun 15 08:36 modal.lua.html
-rw-r--r--   1 edrx edrx         635 Feb 21  2020 mygetstack.c
-rw-r--r--   1 edrx edrx        1263 Jun 15 08:36 mygetstack.c.html
-rw-r--r--   1 edrx edrx        7597 Dec 14  2021 myxpcall.lua
-rw-r--r--   1 edrx edrx       13016 Jun 15 08:36 myxpcall.lua.html
-rwxr-xr-x   1 edrx edrx        2498 Feb 21  2020 oldglyphs.lua*
-rw-r--r--   1 edrx edrx        3623 Jun 15 08:36 oldglyphs.lua.html
-rw-r--r--   1 edrx edrx        2807 Feb 21  2020 parsechangelog.lua
-rw-r--r--   1 edrx edrx        4293 Jun 15 08:36 parsechangelog.lua.html
-rw-r--r--   1 edrx edrx         870 Feb 21  2020 peek.lua
-rw-r--r--   1 edrx edrx        2615 Jun 15 08:36 peek.lua.html
-rw-r--r--   1 edrx edrx       21304 Feb 21  2020 picture.lua
-rw-r--r--   1 edrx edrx       28388 Jun 15 08:36 picture.lua.html
-rw-r--r--   1 edrx edrx        1571 Aug 29  2021 pil3_16.lua
-rw-r--r--   1 edrx edrx        2789 Jun 15 08:36 pil3_16.lua.html
-rw-r--r--   1 edrx edrx        1025 Feb 21  2020 port7777.lua
-rw-r--r--   1 edrx edrx        1515 Jun 15 08:36 port7777.lua.html
-rw-r--r--   1 edrx edrx        3011 Sep  4  2022 precedenceparser.lua
-rw-r--r--   1 edrx edrx        4040 Jun 15 08:36 precedenceparser.lua.html
-rw-r--r--   1 edrx edrx        2138 Feb 21  2020 preproc.lua
-rw-r--r--   1 edrx edrx        3519 Jun 15 08:36 preproc.lua.html
-rw-r--r--   1 edrx edrx        4810 Jul 25  2023 puro-calendario.lua
-rw-r--r--   1 edrx edrx        5775 Jun 15 08:36 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 15 08:36 puro-calendario2.lua.html
-rwxr-xr-x   1 edrx edrx        1991 Feb 21  2020 quickdiff.lua*
-rw-r--r--   1 edrx edrx        3146 Jun 15 08:36 quickdiff.lua.html
-rw-r--r--   1 edrx edrx         640 Feb 21  2020 rectxpm.lua
-rw-r--r--   1 edrx edrx        1395 Jun 15 08:36 rectxpm.lua.html
-rwxr-xr-x   1 edrx edrx        8636 Feb 21 14:22 redirect.lua*
-rw-r--r--   1 edrx edrx       14305 Jun 15 08:36 redirect.lua.html
-rw-r--r--   1 edrx edrx         334 Sep 12  2021 square-cube.lua
-rw-r--r--   1 edrx edrx        1289 Jun 15 08:36 square-cube.lua.html
-rwxr-xr-x   1 edrx edrx        4480 Feb 21  2020 syntrees.lua*
-rw-r--r--   1 edrx edrx        5985 Jun 15 08:36 syntrees.lua.html
-rwxr-xr-x   1 edrx edrx        9475 Feb 21  2020 texcatcodes.lua*
-rw-r--r--   1 edrx edrx       15335 Jun 15 08:36 texcatcodes.lua.html
-rw-r--r--   1 edrx edrx        8018 Feb 21  2020 texinfo.lua
-rw-r--r--   1 edrx edrx       12377 Jun 15 08:36 texinfo.lua.html
-rwxr-xr-x   1 edrx edrx        5252 Feb 21  2020 texpage.lua*
-rw-r--r--   1 edrx edrx        8483 Jun 15 08:36 texpage.lua.html
-rw-r--r--   1 edrx edrx        2076 Feb 21  2020 tictactoetree.lua
-rw-r--r--   1 edrx edrx        3400 Jun 15 08:36 tictactoetree.lua.html
-rw-r--r--   1 edrx edrx       13878 Nov  8  2022 tikz1.el
-rw-r--r--   1 edrx edrx       33758 Jun 15 08:36 tikz1.el.html
-rw-r--r--   1 edrx edrx        8486 Apr 25  2023 tikz1.lua
-rw-r--r--   1 edrx edrx       19436 Jun 15 08:36 tikz1.lua.html
-rw-r--r--   1 edrx edrx        1762 Feb  3  2021 timestamps.lua
-rw-r--r--   1 edrx edrx        4456 Jun 15 08:36 timestamps.lua.html
-rw-r--r--   1 edrx edrx        5414 Feb 21  2020 tinyftp.lua
-rw-r--r--   1 edrx edrx        6101 Jun 15 08:36 tinyftp.lua.html
-rw-r--r--   1 edrx edrx        3518 Feb 21  2020 tinyftplib.lua
-rw-r--r--   1 edrx edrx        4024 Jun 15 08:36 tinyftplib.lua.html
-rw-r--r--   1 edrx edrx        2717 Feb 21  2020 tlbridge.c
-rw-r--r--   1 edrx edrx        3770 Jun 15 08:36 tlbridge.c.html
-rw-r--r--   1 edrx edrx       24383 Feb 21  2020 tmp.lua
-rw-r--r--   1 edrx edrx       28269 Jun 15 08:36 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 15 08:36 tos.lua.html
-rw-r--r--   1 edrx edrx        2679 Dec 18 08:08 tos2.lua
-rw-r--r--   1 edrx edrx        4261 Jun 15 08:36 tos2.lua.html
-rw-r--r--   1 edrx edrx        3205 Dec 18 08:18 tos3.lua
-rw-r--r--   1 edrx edrx        4998 Jun 15 08:36 tos3.lua.html
-rw-r--r--   1 edrx edrx        4260 Feb 21  2020 tostring.lua
-rw-r--r--   1 edrx edrx        5893 Jun 15 08:36 tostring.lua.html
-rw-r--r--   1 edrx edrx        1443 Feb 21  2020 truthtables.lua
-rw-r--r--   1 edrx edrx        2529 Jun 15 08:36 truthtables.lua.html
-rw-r--r--   1 edrx edrx        1074 Sep 12  2021 vector-demo.lua
-rw-r--r--   1 edrx edrx        2186 Jun 15 08:36 vector-demo.lua.html
-rw-r--r--   1 edrx edrx       10030 Feb 21  2020 vectors.lua
-rw-r--r--   1 edrx edrx       12628 Jun 15 08:36 vectors.lua.html
-rw-r--r--   1 edrx edrx         452 Feb 21  2020 vectors.tcl
-rw-r--r--   1 edrx edrx        1193 Jun 15 08:36 vectors.tcl.html
-rw-r--r--   1 edrx edrx        4276 Aug 15  2021 vtable.lua
-rw-r--r--   1 edrx edrx        5884 Jun 15 08:36 vtable.lua.html
-rwxr-xr-x   1 edrx edrx      784626 Feb 21  2020 youtube-db.lua*
-rw-r--r--   1 edrx edrx     1329735 Jun 15 08:36 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 15 08:36 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 15 08:36 youtube-tags.lua.html
-rw-r--r--   1 edrx edrx        5732 Feb 21  2020 youtube.lua
-rw-r--r--   1 edrx edrx        8170 Jun 15 08:36 youtube.lua.html
-rw-r--r--   1 edrx edrx        1465 Feb 21  2020 zdags.lua
-rw-r--r--   1 edrx edrx        2886 Jun 15 08:36 zdags.lua.html