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