drwxr-xr-x   6 edrx edrx       12288 Oct  6  2005 ./
drwxr-xr-x 225 edrx edrx       36864 Mar 23 02:55 ../
-rw-r--r--   1 edrx edrx        2544 Feb 21  2020 2013.2-ES-diags
-rw-r--r--   1 edrx edrx        4226 Mar 23 02:54 2013.2-ES-diags.html
-rw-r--r--   1 edrx edrx        1166 Feb 21  2020 8queens.lua
-rw-r--r--   1 edrx edrx        2016 Mar 23 02:54 8queens.lua.html
-rw-r--r--   1 edrx edrx         644 Feb 21  2020 anchors.lua
-rw-r--r--   1 edrx edrx        1102 Mar 23 02:54 anchors.lua.html
-rw-r--r--   1 edrx edrx       10929 Feb 21  2020 apt-move.lua
-rw-r--r--   1 edrx edrx       15590 Mar 23 02:54 apt-move.lua.html
-rw-r--r--   1 edrx edrx        5658 Feb 21  2020 begriff.lua
-rw-r--r--   1 edrx edrx        6967 Mar 23 02:54 begriff.lua.html
-rw-r--r--   1 edrx edrx        4915 Feb 21  2020 binops-re.lua
-rw-r--r--   1 edrx edrx        6302 Mar 23 02:54 binops-re.lua.html
-rw-r--r--   1 edrx edrx       19127 Feb 21  2020 blogme.lua
-rw-r--r--   1 edrx edrx       21248 Mar 23 02:54 blogme.lua.html
-rw-r--r--   1 edrx edrx        1137 Jan 15 01:35 blogme2021.lua
-rw-r--r--   1 edrx edrx        2213 Mar 23 02:54 blogme2021.lua.html
-rw-r--r--   1 edrx edrx       10228 Mar 17 20:43 book-index.lua
-rw-r--r--   1 edrx edrx       18182 Mar 23 02:54 book-index.lua.html
-rw-r--r--   1 edrx edrx        1491 Feb 21  2020 boxchars.lua
-rw-r--r--   1 edrx edrx        2853 Mar 23 02:54 boxchars.lua.html
-rw-r--r--   1 edrx edrx        6048 Feb 21  2020 brackets.lua
-rw-r--r--   1 edrx edrx        6487 Mar 23 02:54 brackets.lua.html
-rw-r--r--   1 edrx edrx         293 Feb 21  2020 call7777.lua
-rw-r--r--   1 edrx edrx         652 Mar 23 02:54 call7777.lua.html
-rw-r--r--   1 edrx edrx        5706 Feb 21  2020 canvas.lua
-rw-r--r--   1 edrx edrx        6676 Mar 23 02:54 canvas.lua.html
-rw-r--r--   1 edrx edrx       14301 Feb 21  2020 canvas2.lua
-rw-r--r--   1 edrx edrx       15622 Mar 23 02:54 canvas2.lua.html
-rwxr-xr-x   1 edrx edrx       30663 Feb 21  2020 canvas3.lua*
-rw-r--r--   1 edrx edrx       47382 Mar 23 02:54 canvas3.lua.html
-rw-r--r--   1 edrx edrx        2383 Feb 21  2020 composechars-u8.lua
-rw-r--r--   1 edrx edrx        4165 Mar 23 02:54 composechars-u8.lua.html
-rw-r--r--   1 edrx edrx        1855 Feb 21  2020 ctemplate.lua
-rw-r--r--   1 edrx edrx        3119 Mar 23 02:54 ctemplate.lua.html
-rw-r--r--   1 edrx edrx        5603 Feb 21  2020 debs.lua
-rw-r--r--   1 edrx edrx        6469 Mar 23 02:54 debs.lua.html
-rwxr-xr-x   1 edrx edrx        6058 Feb 21  2020 debs2.lua*
-rw-r--r--   1 edrx edrx        7606 Mar 23 02:54 debs2.lua.html
-rwxr-xr-x   1 edrx edrx         700 Feb 21  2020 debtemplate.lua*
-rw-r--r--   1 edrx edrx        1852 Mar 23 02:54 debtemplate.lua.html
-rwxr-xr-x   1 edrx edrx       13798 Feb 21  2020 dednat.lua*
-rw-r--r--   1 edrx edrx       23187 Mar 23 02:54 dednat.lua.html
-rwxr-xr-x   1 edrx edrx        6415 Mar 16 07:14 defwithmanyargs.lua*
-rw-r--r--   1 edrx edrx       11597 Mar 23 02:54 defwithmanyargs.lua.html
-rw-r--r--   1 edrx edrx        6184 Feb 21  2020 distributivity.lua
-rw-r--r--   1 edrx edrx        8257 Mar 23 02:54 distributivity.lua.html
-rwxr-xr-x   1 edrx edrx        1299 Feb 21  2020 djview-hack.lua*
-rw-r--r--   1 edrx edrx        2605 Mar 23 02:54 djview-hack.lua.html
-rw-r--r--   1 edrx edrx       24134 Jan 15 19:53 elispwt.lua
-rw-r--r--   1 edrx edrx       42103 Mar 23 02:54 elispwt.lua.html
-rwxr-xr-x   1 edrx edrx        7301 Feb 21  2020 exifdatetime.lua*
-rw-r--r--   1 edrx edrx       11991 Mar 23 02:54 exifdatetime.lua.html
-rw-r--r--   1 edrx edrx       61872 Feb 21  2020 fbcomments.lua
-rw-r--r--   1 edrx edrx       74938 Mar 23 02:54 fbcomments.lua.html
-rwxr-xr-x   1 edrx edrx        5362 Feb 21  2020 flsfiles.lua*
-rw-r--r--   1 edrx edrx        7247 Mar 23 02:54 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        2306 Mar 23 02:54 forall_0.lua.html
-rw-r--r--   1 edrx edrx        2789 Feb 21  2020 horarios.lua
-rw-r--r--   1 edrx edrx        3601 Mar 23 02:54 horarios.lua.html
-rw-r--r--   1 edrx edrx       10803 Feb 21  2020 inc.lua
-rw-r--r--   1 edrx edrx       17510 Mar 23 02:54 inc.lua.html
-rw-r--r--   1 edrx edrx       28970 Feb 21  2020 index.blogme
-rw-r--r--   1 edrx edrx       34699 Mar 23 02:54 index.blogme.html
-rw-r--r--   1 edrx edrx        1543 Feb 21  2020 integrate-2015.lua
-rw-r--r--   1 edrx edrx        2428 Mar 23 02:54 integrate-2015.lua.html
-rw-r--r--   1 edrx edrx        3458 Feb 21  2020 integration.lua
-rw-r--r--   1 edrx edrx        4424 Mar 23 02:54 integration.lua.html
-rw-r--r--   1 edrx edrx        7538 Feb 21  2020 interactive.lua
-rw-r--r--   1 edrx edrx        9168 Mar 23 02:54 interactive.lua.html
-rw-r--r--   1 edrx edrx        1640 Feb 21  2020 latexdags.lua
-rw-r--r--   1 edrx edrx        2409 Mar 23 02:54 latexdags.lua.html
drwxr-xr-x   2 edrx edrx        4096 Mar 23 02:54 ldb/
-rw-r--r--   1 edrx edrx        9295 Feb 21  2020 lh.lua
-rw-r--r--   1 edrx edrx        9940 Mar 23 02:54 lh.lua.html
drwxr-xr-x   2 edrx edrx        4096 Mar 23 02:54 loadlib/
-rw-r--r--   1 edrx edrx        2546 Feb 21  2020 lowerdiag.lua
-rw-r--r--   1 edrx edrx        3523 Mar 23 02:54 lowerdiag.lua.html
-rw-r--r--   1 edrx edrx        1697 Feb 21  2020 lstoindexhtml.lua
-rw-r--r--   1 edrx edrx        3310 Mar 23 02:54 lstoindexhtml.lua.html
-rw-r--r--   1 edrx edrx        1719 Feb 21  2020 lua50beta-argpatch.sh
-rw-r--r--   1 edrx edrx        2990 Mar 23 02:54 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       92889 Mar  8 02:23 lua50init.lua
-rw-r--r--   1 edrx edrx      150218 Mar 23 02:54 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      209284 Mar 23 02:54 lua50ref.r2.html
-rw-r--r--   1 edrx edrx       20757 Feb 21  2020 luaforth.lua
-rw-r--r--   1 edrx edrx       22431 Mar 23 02:54 luaforth.lua.html
-rw-r--r--   1 edrx edrx         924 Feb 21  2020 luarocks-extra.lua
-rw-r--r--   1 edrx edrx        2334 Mar 23 02:54 luarocks-extra.lua.html
-rw-r--r--   1 edrx edrx        3948 Feb 21  2020 luatclbridge.c
-rw-r--r--   1 edrx edrx        4893 Mar 23 02:54 luatclbridge.c.html
-rw-r--r--   1 edrx edrx        1549 Mar  1 19:23 lvalue.lua
-rw-r--r--   1 edrx edrx        2991 Mar 23 02:54 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 Mar 23 02:54 math.blogme.html
-rw-r--r--   1 edrx edrx        3205 Feb 21  2020 microlisp-2017.lua
-rw-r--r--   1 edrx edrx        3961 Mar 23 02:54 microlisp-2017.lua.html
-rw-r--r--   1 edrx edrx        7383 Feb 21  2020 middle-c.lua
-rw-r--r--   1 edrx edrx       10614 Mar 23 02:54 middle-c.lua.html
-rw-r--r--   1 edrx edrx        4962 Mar  2 02:05 miniforth2021.lua
-rw-r--r--   1 edrx edrx        8189 Mar 23 02:54 miniforth2021.lua.html
-rw-r--r--   1 edrx edrx        5543 Feb 21  2020 modal.lua
-rw-r--r--   1 edrx edrx        6002 Mar 23 02:54 modal.lua.html
-rw-r--r--   1 edrx edrx         635 Feb 21  2020 mygetstack.c
-rw-r--r--   1 edrx edrx        1132 Mar 23 02:54 mygetstack.c.html
-rw-r--r--   1 edrx edrx        7383 Oct 28 01:14 myxpcall.lua
-rw-r--r--   1 edrx edrx       11426 Mar 23 02:54 myxpcall.lua.html
-rwxr-xr-x   1 edrx edrx        2498 Feb 21  2020 oldglyphs.lua*
-rw-r--r--   1 edrx edrx        3491 Mar 23 02:54 oldglyphs.lua.html
-rw-r--r--   1 edrx edrx        2807 Feb 21  2020 parsechangelog.lua
-rw-r--r--   1 edrx edrx        3954 Mar 23 02:54 parsechangelog.lua.html
-rw-r--r--   1 edrx edrx         870 Feb 21  2020 peek.lua
-rw-r--r--   1 edrx edrx        2194 Mar 23 02:54 peek.lua.html
-rw-r--r--   1 edrx edrx       21304 Feb 21  2020 picture.lua
-rw-r--r--   1 edrx edrx       28064 Mar 23 02:54 picture.lua.html
-rw-r--r--   1 edrx edrx        1025 Feb 21  2020 port7777.lua
-rw-r--r--   1 edrx edrx        1384 Mar 23 02:54 port7777.lua.html
-rw-r--r--   1 edrx edrx        3014 Feb 21  2020 precedenceparser.lua
-rw-r--r--   1 edrx edrx        4039 Mar 23 02:54 precedenceparser.lua.html
-rw-r--r--   1 edrx edrx        2138 Feb 21  2020 preproc.lua
-rw-r--r--   1 edrx edrx        3515 Mar 23 02:54 preproc.lua.html
-rw-r--r--   1 edrx edrx        4759 Feb 21  2020 puro-calendario.lua
-rw-r--r--   1 edrx edrx        5624 Mar 23 02:54 puro-calendario.lua.html
-rw-r--r--   1 edrx edrx        2735 Feb 21  2020 puro-calendario2.lua
-rw-r--r--   1 edrx edrx        4948 Mar 23 02:54 puro-calendario2.lua.html
-rwxr-xr-x   1 edrx edrx        1991 Feb 21  2020 quickdiff.lua*
-rw-r--r--   1 edrx edrx        2903 Mar 23 02:54 quickdiff.lua.html
-rw-r--r--   1 edrx edrx         640 Feb 21  2020 rectxpm.lua
-rw-r--r--   1 edrx edrx        1200 Mar 23 02:54 rectxpm.lua.html
-rwxr-xr-x   1 edrx edrx        5562 Aug 26  2020 redirect.lua*
-rw-r--r--   1 edrx edrx       10203 Mar 23 02:54 redirect.lua.html
-rwxr-xr-x   1 edrx edrx        4480 Feb 21  2020 syntrees.lua*
-rw-r--r--   1 edrx edrx        5981 Mar 23 02:54 syntrees.lua.html
-rwxr-xr-x   1 edrx edrx        9475 Feb 21  2020 texcatcodes.lua*
-rw-r--r--   1 edrx edrx       14620 Mar 23 02:54 texcatcodes.lua.html
-rw-r--r--   1 edrx edrx        8018 Feb 21  2020 texinfo.lua
-rw-r--r--   1 edrx edrx       12377 Mar 23 02:54 texinfo.lua.html
-rwxr-xr-x   1 edrx edrx        5252 Feb 21  2020 texpage.lua*
-rw-r--r--   1 edrx edrx        8227 Mar 23 02:54 texpage.lua.html
-rw-r--r--   1 edrx edrx        2076 Feb 21  2020 tictactoetree.lua
-rw-r--r--   1 edrx edrx        3133 Mar 23 02:54 tictactoetree.lua.html
-rw-r--r--   1 edrx edrx        1762 Feb  3 21:43 timestamps.lua
-rw-r--r--   1 edrx edrx        4009 Mar 23 02:54 timestamps.lua.html
-rw-r--r--   1 edrx edrx        5414 Feb 21  2020 tinyftp.lua
-rw-r--r--   1 edrx edrx        5938 Mar 23 02:54 tinyftp.lua.html
-rw-r--r--   1 edrx edrx        3518 Feb 21  2020 tinyftplib.lua
-rw-r--r--   1 edrx edrx        3893 Mar 23 02:54 tinyftplib.lua.html
-rw-r--r--   1 edrx edrx        2717 Feb 21  2020 tlbridge.c
-rw-r--r--   1 edrx edrx        3543 Mar 23 02:54 tlbridge.c.html
-rw-r--r--   1 edrx edrx       24383 Feb 21  2020 tmp.lua
-rw-r--r--   1 edrx edrx       28265 Mar 23 02:54 tmp.lua.html
-rw-r--r--   1 edrx edrx        2411 Feb 21  2020 toposort.lua
-rw-r--r--   1 edrx edrx        1973 Feb 21  2020 tos.lua
-rw-r--r--   1 edrx edrx        2847 Mar 23 02:54 tos.lua.html
-rw-r--r--   1 edrx edrx        2395 Feb 21  2020 tos2.lua
-rw-r--r--   1 edrx edrx        3431 Mar 23 02:54 tos2.lua.html
-rw-r--r--   1 edrx edrx        4260 Feb 21  2020 tostring.lua
-rw-r--r--   1 edrx edrx        5881 Mar 23 02:54 tostring.lua.html
-rw-r--r--   1 edrx edrx        1443 Feb 21  2020 truthtables.lua
-rw-r--r--   1 edrx edrx        2314 Mar 23 02:54 truthtables.lua.html
-rw-r--r--   1 edrx edrx       10030 Feb 21  2020 vectors.lua
-rw-r--r--   1 edrx edrx       12094 Mar 23 02:54 vectors.lua.html
-rw-r--r--   1 edrx edrx         452 Feb 21  2020 vectors.tcl
-rw-r--r--   1 edrx edrx         998 Mar 23 02:54 vectors.tcl.html
-rwxr-xr-x   1 edrx edrx      784626 Feb 21  2020 youtube-db.lua*
-rw-r--r--   1 edrx edrx     1329719 Mar 23 02:54 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 Mar 23 02:54 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 Mar 23 02:54 youtube-tags.lua.html
-rw-r--r--   1 edrx edrx        5732 Feb 21  2020 youtube.lua
-rw-r--r--   1 edrx edrx        8124 Mar 23 02:55 youtube.lua.html
-rw-r--r--   1 edrx edrx        1465 Feb 21  2020 zdags.lua
-rw-r--r--   1 edrx edrx        2882 Mar 23 02:55 zdags.lua.html