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