drwxr-xr-x 6 edrx edrx 12288 Oct 6 2005 ./ drwxr-xr-x 236 edrx edrx 36864 Oct 21 03:48 ../ -rw-r--r-- 1 edrx edrx 2544 Feb 21 2020 2013.2-ES-diags -rw-r--r-- 1 edrx edrx 4226 Oct 21 03:47 2013.2-ES-diags.html -rw-r--r-- 1 edrx edrx 1166 Feb 21 2020 8queens.lua -rw-r--r-- 1 edrx edrx 2232 Oct 21 03:47 8queens.lua.html -rw-r--r-- 1 edrx edrx 6457 Sep 22 04:26 DFS-old.lua -rw-r--r-- 1 edrx edrx 8340 Oct 21 03:47 DFS-old.lua.html -rw-r--r-- 1 edrx edrx 6462 Sep 22 06:14 DFS.lua -rw-r--r-- 1 edrx edrx 8463 Oct 21 03:47 DFS.lua.html -rw-r--r-- 1 edrx edrx 1772 Sep 19 22:03 DFSTriangle.lua -rw-r--r-- 1 edrx edrx 2522 Oct 21 03:47 DFSTriangle.lua.html -rw-r--r-- 1 edrx edrx 8309 Oct 20 21:41 Fitch-old.lua -rw-r--r-- 1 edrx edrx 9623 Oct 21 03:47 Fitch-old.lua.html -rw-r--r-- 1 edrx edrx 970 Oct 20 21:54 Fitch.lua -rw-r--r-- 1 edrx edrx 1720 Oct 21 03:47 Fitch.lua.html -rw-r--r-- 1 edrx edrx 5095 Sep 26 03:10 GetInfo.lua -rw-r--r-- 1 edrx edrx 8685 Oct 21 03:47 GetInfo.lua.html -rw-r--r-- 1 edrx edrx 2808 Sep 24 04:05 LuaBlocks.lua -rw-r--r-- 1 edrx edrx 3890 Oct 21 03:47 LuaBlocks.lua.html -rw-r--r-- 1 edrx edrx 1810 Oct 13 19:47 Path.lua -rw-r--r-- 1 edrx edrx 3295 Oct 21 03:47 Path.lua.html -rw-r--r-- 1 edrx edrx 1717 Sep 25 02:42 README.e -rw-r--r-- 1 edrx edrx 3962 Oct 21 03:47 README.e.html -rw-r--r-- 1 edrx edrx 3177 Sep 30 00:50 Re-infix.lua -rw-r--r-- 1 edrx edrx 6083 Oct 21 03:47 Re-infix.lua.html -rw-r--r-- 1 edrx edrx 11913 Oct 13 21:38 Re.lua -rw-r--r-- 1 edrx edrx 19494 Oct 21 03:47 Re.lua.html -rw-r--r-- 1 edrx edrx 13742 Sep 30 00:09 Rect.lua -rw-r--r-- 1 edrx edrx 21494 Oct 21 03:47 Rect.lua.html -rw-r--r-- 1 edrx edrx 5644 Sep 24 05:04 Set.lua -rw-r--r-- 1 edrx edrx 9081 Oct 21 03:47 Set.lua.html -rw-r--r-- 1 edrx edrx 277 Sep 18 19:11 SetL.lua -rw-r--r-- 1 edrx edrx 1113 Oct 21 03:47 SetL.lua.html -rw-r--r-- 1 edrx edrx 5888 Sep 18 19:48 Tos.lua -rw-r--r-- 1 edrx edrx 10018 Oct 21 03:47 Tos.lua.html -rw-r--r-- 1 edrx edrx 4113 Oct 11 01:55 VideoIndex.lua -rw-r--r-- 1 edrx edrx 5719 Oct 21 03:47 VideoIndex.lua.html -rw-r--r-- 1 edrx edrx 644 Feb 21 2020 anchors.lua -rw-r--r-- 1 edrx edrx 1267 Oct 21 03:47 anchors.lua.html -rw-r--r-- 1 edrx edrx 10929 Feb 21 2020 apt-move.lua -rw-r--r-- 1 edrx edrx 15590 Oct 21 03:47 apt-move.lua.html -rw-r--r-- 1 edrx edrx 1204 Oct 21 03:26 badchars-unibyte.lua -rw-r--r-- 1 edrx edrx 2862 Oct 21 03:47 badchars-unibyte.lua.html -rw-r--r-- 1 edrx edrx 5658 Feb 21 2020 begriff.lua -rw-r--r-- 1 edrx edrx 6967 Oct 21 03:47 begriff.lua.html -rw-r--r-- 1 edrx edrx 4915 Feb 21 2020 binops-re.lua -rw-r--r-- 1 edrx edrx 6302 Oct 21 03:47 binops-re.lua.html -rw-r--r-- 1 edrx edrx 19127 Feb 21 2020 blogme.lua -rw-r--r-- 1 edrx edrx 21248 Oct 21 03:47 blogme.lua.html -rw-r--r-- 1 edrx edrx 1137 Jan 15 2021 blogme2021.lua -rw-r--r-- 1 edrx edrx 2497 Oct 21 03:47 blogme2021.lua.html -rw-r--r-- 1 edrx edrx 10831 Oct 6 15:00 book-index.lua -rw-r--r-- 1 edrx edrx 21781 Oct 21 03:47 book-index.lua.html -rw-r--r-- 1 edrx edrx 1491 Feb 21 2020 boxchars.lua -rw-r--r-- 1 edrx edrx 2386 Oct 21 03:47 boxchars.lua.html -rw-r--r-- 1 edrx edrx 6048 Feb 21 2020 brackets.lua -rw-r--r-- 1 edrx edrx 6635 Oct 21 03:47 brackets.lua.html -rw-r--r-- 1 edrx edrx 293 Feb 21 2020 call7777.lua -rw-r--r-- 1 edrx edrx 783 Oct 21 03:47 call7777.lua.html -rw-r--r-- 1 edrx edrx 5706 Feb 21 2020 canvas.lua -rw-r--r-- 1 edrx edrx 6909 Oct 21 03:47 canvas.lua.html -rw-r--r-- 1 edrx edrx 14301 Feb 21 2020 canvas2.lua -rw-r--r-- 1 edrx edrx 15622 Oct 21 03:47 canvas2.lua.html -rwxr-xr-x 1 edrx edrx 30663 Feb 21 2020 canvas3.lua* -rw-r--r-- 1 edrx edrx 47382 Oct 21 03:47 canvas3.lua.html -rw-r--r-- 1 edrx edrx 1504 Aug 31 22:46 complex.lua -rw-r--r-- 1 edrx edrx 2579 Oct 21 03:47 complex.lua.html -rw-r--r-- 1 edrx edrx 2383 Feb 21 2020 composechars-u8.lua -rw-r--r-- 1 edrx edrx 4216 Oct 21 03:47 composechars-u8.lua.html -rw-r--r-- 1 edrx edrx 1855 Feb 21 2020 ctemplate.lua -rw-r--r-- 1 edrx edrx 3119 Oct 21 03:47 ctemplate.lua.html -rw-r--r-- 1 edrx edrx 5603 Feb 21 2020 debs.lua -rw-r--r-- 1 edrx edrx 6469 Oct 21 03:47 debs.lua.html -rwxr-xr-x 1 edrx edrx 6058 Feb 21 2020 debs2.lua* -rw-r--r-- 1 edrx edrx 7606 Oct 21 03:47 debs2.lua.html -rwxr-xr-x 1 edrx edrx 700 Feb 21 2020 debtemplate.lua* -rw-r--r-- 1 edrx edrx 1852 Oct 21 03:47 debtemplate.lua.html -rwxr-xr-x 1 edrx edrx 13798 Feb 21 2020 dednat.lua* -rw-r--r-- 1 edrx edrx 23187 Oct 21 03:47 dednat.lua.html -rwxr-xr-x 1 edrx edrx 11372 Jun 13 01:22 defwithmanyargs.lua* -rw-r--r-- 1 edrx edrx 18033 Oct 21 03:47 defwithmanyargs.lua.html -rw-r--r-- 1 edrx edrx 6184 Feb 21 2020 distributivity.lua -rw-r--r-- 1 edrx edrx 8257 Oct 21 03:47 distributivity.lua.html -rwxr-xr-x 1 edrx edrx 1299 Feb 21 2020 djview-hack.lua* -rw-r--r-- 1 edrx edrx 2991 Oct 21 03:47 djview-hack.lua.html -rw-r--r-- 1 edrx edrx 24134 Jan 15 2021 elispwt.lua -rw-r--r-- 1 edrx edrx 44428 Oct 21 03:47 elispwt.lua.html -rw-r--r-- 1 edrx edrx 7002 Sep 20 12:11 emacs-weekly-news.lua -rw-r--r-- 1 edrx edrx 10398 Oct 21 03:47 emacs-weekly-news.lua.html -rw-r--r-- 1 edrx edrx 21233 Sep 12 07:00 eoo.lua -rw-r--r-- 1 edrx edrx 28560 Oct 21 03:47 eoo.lua.html -rwxr-xr-x 1 edrx edrx 7301 Feb 21 2020 exifdatetime.lua* -rw-r--r-- 1 edrx edrx 12668 Oct 21 03:47 exifdatetime.lua.html -rw-r--r-- 1 edrx edrx 61872 Feb 21 2020 fbcomments.lua -rw-r--r-- 1 edrx edrx 74938 Oct 21 03:47 fbcomments.lua.html -rwxr-xr-x 1 edrx edrx 7912 Jul 25 04:41 flsfiles.lua* -rw-r--r-- 1 edrx edrx 10108 Oct 21 03:47 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 2488 Oct 21 03:47 forall_0.lua.html -rw-r--r-- 1 edrx edrx 2789 Feb 21 2020 horarios.lua -rw-r--r-- 1 edrx edrx 3601 Oct 21 03:47 horarios.lua.html -rw-r--r-- 1 edrx edrx 10803 Feb 21 2020 inc.lua -rw-r--r-- 1 edrx edrx 17510 Oct 21 03:47 inc.lua.html -rw-r--r-- 1 edrx edrx 28970 Feb 21 2020 index.blogme -rw-r--r-- 1 edrx edrx 34699 Oct 21 03:47 index.blogme.html -rw-r--r-- 1 edrx edrx 1543 Feb 21 2020 integrate-2015.lua -rw-r--r-- 1 edrx edrx 2428 Oct 21 03:47 integrate-2015.lua.html -rw-r--r-- 1 edrx edrx 3458 Feb 21 2020 integration.lua -rw-r--r-- 1 edrx edrx 4424 Oct 21 03:47 integration.lua.html -rw-r--r-- 1 edrx edrx 7538 Feb 21 2020 interactive.lua -rw-r--r-- 1 edrx edrx 9639 Oct 21 03:47 interactive.lua.html -rw-r--r-- 1 edrx edrx 1640 Feb 21 2020 latexdags.lua -rw-r--r-- 1 edrx edrx 2642 Oct 21 03:47 latexdags.lua.html drwxr-xr-x 2 edrx edrx 4096 Oct 21 03:46 ldb/ -rw-r--r-- 1 edrx edrx 9295 Feb 21 2020 lh.lua -rw-r--r-- 1 edrx edrx 10105 Oct 21 03:47 lh.lua.html drwxr-xr-x 2 edrx edrx 4096 Oct 21 03:47 loadlib/ -rw-r--r-- 1 edrx edrx 2556 Sep 19 04:06 lowerdiag.lua -rw-r--r-- 1 edrx edrx 3533 Oct 21 03:47 lowerdiag.lua.html -rw-r--r-- 1 edrx edrx 3260 Sep 25 22:44 lpeg-minitut.lua -rw-r--r-- 1 edrx edrx 5529 Oct 21 03:47 lpeg-minitut.lua.html -rw-r--r-- 1 edrx edrx 1697 Feb 21 2020 lstoindexhtml.lua -rw-r--r-- 1 edrx edrx 3713 Oct 21 03:47 lstoindexhtml.lua.html -rw-r--r-- 1 edrx edrx 1719 Feb 21 2020 lua50beta-argpatch.sh -rw-r--r-- 1 edrx edrx 2990 Oct 21 03:47 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 97779 Oct 20 23:45 lua50init.lua -rw-r--r-- 1 edrx edrx 169458 Oct 21 03:47 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 205436 Oct 21 03:47 lua50ref.r2.html -rw-r--r-- 1 edrx edrx 20757 Feb 21 2020 luaforth.lua -rw-r--r-- 1 edrx edrx 22431 Oct 21 03:47 luaforth.lua.html -rw-r--r-- 1 edrx edrx 924 Feb 21 2020 luarocks-extra.lua -rw-r--r-- 1 edrx edrx 2652 Oct 21 03:47 luarocks-extra.lua.html -rw-r--r-- 1 edrx edrx 3948 Feb 21 2020 luatclbridge.c -rw-r--r-- 1 edrx edrx 5160 Oct 21 03:47 luatclbridge.c.html -rw-r--r-- 1 edrx edrx 1549 Mar 1 2021 lvalue.lua -rw-r--r-- 1 edrx edrx 3442 Oct 21 03:47 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 Oct 21 03:47 math.blogme.html -rw-r--r-- 1 edrx edrx 3205 Feb 21 2020 microlisp-2017.lua -rw-r--r-- 1 edrx edrx 4143 Oct 21 03:47 microlisp-2017.lua.html -rw-r--r-- 1 edrx edrx 7383 Feb 21 2020 middle-c.lua -rw-r--r-- 1 edrx edrx 10614 Oct 21 03:47 middle-c.lua.html -rw-r--r-- 1 edrx edrx 4962 Mar 2 2021 miniforth2021.lua -rw-r--r-- 1 edrx edrx 8835 Oct 21 03:47 miniforth2021.lua.html -rw-r--r-- 1 edrx edrx 5543 Feb 21 2020 modal.lua -rw-r--r-- 1 edrx edrx 6167 Oct 21 03:47 modal.lua.html -rw-r--r-- 1 edrx edrx 635 Feb 21 2020 mygetstack.c -rw-r--r-- 1 edrx edrx 1263 Oct 21 03:47 mygetstack.c.html -rw-r--r-- 1 edrx edrx 7383 Oct 28 2020 myxpcall.lua -rw-r--r-- 1 edrx edrx 12589 Oct 21 03:47 myxpcall.lua.html -rwxr-xr-x 1 edrx edrx 2498 Feb 21 2020 oldglyphs.lua* -rw-r--r-- 1 edrx edrx 3619 Oct 21 03:47 oldglyphs.lua.html -rw-r--r-- 1 edrx edrx 2807 Feb 21 2020 parsechangelog.lua -rw-r--r-- 1 edrx edrx 4306 Oct 21 03:47 parsechangelog.lua.html -rw-r--r-- 1 edrx edrx 870 Feb 21 2020 peek.lua -rw-r--r-- 1 edrx edrx 2529 Oct 21 03:47 peek.lua.html -rw-r--r-- 1 edrx edrx 21304 Feb 21 2020 picture.lua -rw-r--r-- 1 edrx edrx 28064 Oct 21 03:47 picture.lua.html -rw-r--r-- 1 edrx edrx 1571 Aug 29 06:19 pil3_16.lua -rw-r--r-- 1 edrx edrx 2792 Oct 21 03:47 pil3_16.lua.html -rw-r--r-- 1 edrx edrx 1025 Feb 21 2020 port7777.lua -rw-r--r-- 1 edrx edrx 1515 Oct 21 03:47 port7777.lua.html -rw-r--r-- 1 edrx edrx 3014 Feb 21 2020 precedenceparser.lua -rw-r--r-- 1 edrx edrx 4039 Oct 21 03:47 precedenceparser.lua.html -rw-r--r-- 1 edrx edrx 2138 Feb 21 2020 preproc.lua -rw-r--r-- 1 edrx edrx 3515 Oct 21 03:47 preproc.lua.html -rw-r--r-- 1 edrx edrx 4759 Feb 21 2020 puro-calendario.lua -rw-r--r-- 1 edrx edrx 5624 Oct 21 03:47 puro-calendario.lua.html -rw-r--r-- 1 edrx edrx 2735 Feb 21 2020 puro-calendario2.lua -rw-r--r-- 1 edrx edrx 4948 Oct 21 03:47 puro-calendario2.lua.html -rwxr-xr-x 1 edrx edrx 1991 Feb 21 2020 quickdiff.lua* -rw-r--r-- 1 edrx edrx 3153 Oct 21 03:47 quickdiff.lua.html -rw-r--r-- 1 edrx edrx 640 Feb 21 2020 rectxpm.lua -rw-r--r-- 1 edrx edrx 1399 Oct 21 03:47 rectxpm.lua.html -rwxr-xr-x 1 edrx edrx 8556 Aug 26 02:17 redirect.lua* -rw-r--r-- 1 edrx edrx 14113 Oct 21 03:47 redirect.lua.html -rw-r--r-- 1 edrx edrx 334 Sep 12 18:51 square-cube.lua -rw-r--r-- 1 edrx edrx 1288 Oct 21 03:47 square-cube.lua.html -rwxr-xr-x 1 edrx edrx 4480 Feb 21 2020 syntrees.lua* -rw-r--r-- 1 edrx edrx 5981 Oct 21 03:47 syntrees.lua.html -rwxr-xr-x 1 edrx edrx 9475 Feb 21 2020 texcatcodes.lua* -rw-r--r-- 1 edrx edrx 14920 Oct 21 03:47 texcatcodes.lua.html -rw-r--r-- 1 edrx edrx 8018 Feb 21 2020 texinfo.lua -rw-r--r-- 1 edrx edrx 12377 Oct 21 03:47 texinfo.lua.html -rwxr-xr-x 1 edrx edrx 5252 Feb 21 2020 texpage.lua* -rw-r--r-- 1 edrx edrx 8227 Oct 21 03:47 texpage.lua.html -rw-r--r-- 1 edrx edrx 2076 Feb 21 2020 tictactoetree.lua -rw-r--r-- 1 edrx edrx 3400 Oct 21 03:47 tictactoetree.lua.html -rw-r--r-- 1 edrx edrx 1762 Feb 3 2021 timestamps.lua -rw-r--r-- 1 edrx edrx 4469 Oct 21 03:47 timestamps.lua.html -rw-r--r-- 1 edrx edrx 5414 Feb 21 2020 tinyftp.lua -rw-r--r-- 1 edrx edrx 6103 Oct 21 03:47 tinyftp.lua.html -rw-r--r-- 1 edrx edrx 3518 Feb 21 2020 tinyftplib.lua -rw-r--r-- 1 edrx edrx 4024 Oct 21 03:47 tinyftplib.lua.html -rw-r--r-- 1 edrx edrx 2717 Feb 21 2020 tlbridge.c -rw-r--r-- 1 edrx edrx 3776 Oct 21 03:47 tlbridge.c.html -rw-r--r-- 1 edrx edrx 24383 Feb 21 2020 tmp.lua -rw-r--r-- 1 edrx edrx 28265 Oct 21 03:47 tmp.lua.html -rw-r--r-- 1 edrx edrx 2411 Feb 21 2020 toposort.lua -rw-r--r-- 1 edrx edrx 2966 Aug 16 01:09 tos.lua -rw-r--r-- 1 edrx edrx 5442 Oct 21 03:47 tos.lua.html -rw-r--r-- 1 edrx edrx 2395 Feb 21 2020 tos2.lua -rw-r--r-- 1 edrx edrx 3749 Oct 21 03:47 tos2.lua.html -rw-r--r-- 1 edrx edrx 4260 Feb 21 2020 tostring.lua -rw-r--r-- 1 edrx edrx 5881 Oct 21 03:47 tostring.lua.html -rw-r--r-- 1 edrx edrx 1443 Feb 21 2020 truthtables.lua -rw-r--r-- 1 edrx edrx 2530 Oct 21 03:47 truthtables.lua.html -rw-r--r-- 1 edrx edrx 1074 Sep 12 15:02 vector-demo.lua -rw-r--r-- 1 edrx edrx 2187 Oct 21 03:47 vector-demo.lua.html -rw-r--r-- 1 edrx edrx 10030 Feb 21 2020 vectors.lua -rw-r--r-- 1 edrx edrx 12094 Oct 21 03:47 vectors.lua.html -rw-r--r-- 1 edrx edrx 452 Feb 21 2020 vectors.tcl -rw-r--r-- 1 edrx edrx 1197 Oct 21 03:47 vectors.tcl.html -rw-r--r-- 1 edrx edrx 4276 Aug 15 05:24 vtable.lua -rw-r--r-- 1 edrx edrx 5893 Oct 21 03:47 vtable.lua.html -rwxr-xr-x 1 edrx edrx 784626 Feb 21 2020 youtube-db.lua* -rw-r--r-- 1 edrx edrx 1329719 Oct 21 03:47 youtube-db.lua.html -rw-r--r-- 1 edrx edrx 453 Feb 21 2020 youtube-tags-2.lua -rw-r--r-- 1 edrx edrx 1453 Oct 21 03:47 youtube-tags-2.lua.html -rw-r--r-- 1 edrx edrx 2355 Feb 21 2020 youtube-tags.lua -rw-r--r-- 1 edrx edrx 3441 Oct 21 03:47 youtube-tags.lua.html -rw-r--r-- 1 edrx edrx 5732 Feb 21 2020 youtube.lua -rw-r--r-- 1 edrx edrx 8124 Oct 21 03:47 youtube.lua.html -rw-r--r-- 1 edrx edrx 1465 Feb 21 2020 zdags.lua -rw-r--r-- 1 edrx edrx 2882 Oct 21 03:47 zdags.lua.html