drwxr-xr-x   6 edrx edrx       12288 Oct  6  2005 ./
drwxr-xr-x 218 edrx edrx       36864 Jun 29 04:30 ../
-rw-r--r--   1 edrx edrx        2544 Feb 21 22:17 2013.2-ES-diags
-rw-r--r--   1 edrx edrx        4350 Jun 29 04:29 2013.2-ES-diags.html
-rw-r--r--   1 edrx edrx        1166 Feb 21 22:17 8queens.lua
-rw-r--r--   1 edrx edrx        2028 Jun 29 04:29 8queens.lua.html
-rw-r--r--   1 edrx edrx         644 Feb 21 22:17 anchors.lua
-rw-r--r--   1 edrx edrx        1114 Jun 29 04:29 anchors.lua.html
-rw-r--r--   1 edrx edrx       10929 Feb 21 22:17 apt-move.lua
-rw-r--r--   1 edrx edrx       15578 Jun 29 04:29 apt-move.lua.html
-rw-r--r--   1 edrx edrx        5658 Feb 21 22:17 begriff.lua
-rw-r--r--   1 edrx edrx        7183 Jun 29 04:29 begriff.lua.html
-rw-r--r--   1 edrx edrx        4915 Feb 21 22:17 binops-re.lua
-rw-r--r--   1 edrx edrx        6426 Jun 29 04:29 binops-re.lua.html
-rw-r--r--   1 edrx edrx       19127 Feb 21 22:17 blogme.lua
-rw-r--r--   1 edrx edrx       21255 Jun 29 04:29 blogme.lua.html
-rw-r--r--   1 edrx edrx        7930 Jun 24 03:33 book-index.lua
-rw-r--r--   1 edrx edrx        8728 Jun 29 04:29 book-index.lua.html
-rw-r--r--   1 edrx edrx        1491 Feb 21 22:17 boxchars.lua
-rw-r--r--   1 edrx edrx        2983 Jun 29 04:29 boxchars.lua.html
-rw-r--r--   1 edrx edrx        6048 Feb 21 22:17 brackets.lua
-rw-r--r--   1 edrx edrx        6499 Jun 29 04:29 brackets.lua.html
-rw-r--r--   1 edrx edrx         293 Feb 21 22:17 call7777.lua
-rw-r--r--   1 edrx edrx         664 Jun 29 04:29 call7777.lua.html
-rw-r--r--   1 edrx edrx        5706 Feb 21 22:17 canvas.lua
-rw-r--r--   1 edrx edrx        6688 Jun 29 04:29 canvas.lua.html
-rw-r--r--   1 edrx edrx       14301 Feb 21 22:17 canvas2.lua
-rw-r--r--   1 edrx edrx       15719 Jun 29 04:29 canvas2.lua.html
-rwxr-xr-x   1 edrx edrx       30663 Feb 21 22:17 canvas3.lua*
-rw-r--r--   1 edrx edrx       47854 Jun 29 04:29 canvas3.lua.html
-rw-r--r--   1 edrx edrx        2383 Feb 21 22:17 composechars-u8.lua
-rw-r--r--   1 edrx edrx        3953 Jun 29 04:29 composechars-u8.lua.html
-rw-r--r--   1 edrx edrx        1855 Feb 21 22:17 ctemplate.lua
-rw-r--r--   1 edrx edrx        3127 Jun 29 04:29 ctemplate.lua.html
-rw-r--r--   1 edrx edrx        5603 Feb 21 22:17 debs.lua
-rw-r--r--   1 edrx edrx        6481 Jun 29 04:29 debs.lua.html
-rwxr-xr-x   1 edrx edrx        6058 Feb 21 22:17 debs2.lua*
-rw-r--r--   1 edrx edrx        7618 Jun 29 04:29 debs2.lua.html
-rwxr-xr-x   1 edrx edrx         700 Feb 21 22:17 debtemplate.lua*
-rw-r--r--   1 edrx edrx        1864 Jun 29 04:29 debtemplate.lua.html
-rwxr-xr-x   1 edrx edrx       13798 Feb 21 22:17 dednat.lua*
-rw-r--r--   1 edrx edrx       23209 Jun 29 04:29 dednat.lua.html
-rwxr-xr-x   1 edrx edrx        3286 Feb 21 22:17 defwithmanyargs.lua*
-rw-r--r--   1 edrx edrx        6210 Jun 29 04:29 defwithmanyargs.lua.html
-rw-r--r--   1 edrx edrx        6184 Feb 21 22:17 distributivity.lua
-rw-r--r--   1 edrx edrx        8374 Jun 29 04:29 distributivity.lua.html
-rwxr-xr-x   1 edrx edrx        1299 Feb 21 22:17 djview-hack.lua*
-rw-r--r--   1 edrx edrx        2449 Jun 29 04:29 djview-hack.lua.html
-rwxr-xr-x   1 edrx edrx        7301 Feb 21 22:17 exifdatetime.lua*
-rw-r--r--   1 edrx edrx       12234 Jun 29 04:29 exifdatetime.lua.html
-rw-r--r--   1 edrx edrx       61872 Feb 21 22:17 fbcomments.lua
-rw-r--r--   1 edrx edrx       75062 Jun 29 04:29 fbcomments.lua.html
-rwxr-xr-x   1 edrx edrx        5362 Feb 21 22:17 flsfiles.lua*
-rw-r--r--   1 edrx edrx        7576 Jun 29 04:29 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 22:17 forall_0.lua
-rw-r--r--   1 edrx edrx        2318 Jun 29 04:29 forall_0.lua.html
-rw-r--r--   1 edrx edrx        2789 Feb 21 22:17 horarios.lua
-rw-r--r--   1 edrx edrx        3872 Jun 29 04:29 horarios.lua.html
-rw-r--r--   1 edrx edrx       10803 Feb 21 22:17 inc.lua
-rw-r--r--   1 edrx edrx       17534 Jun 29 04:29 inc.lua.html
-rw-r--r--   1 edrx edrx       28970 Feb 21 22:17 index.blogme
-rw-r--r--   1 edrx edrx       34711 Jun 29 04:29 index.blogme.html
-rw-r--r--   1 edrx edrx        1543 Feb 21 22:17 integrate-2015.lua
-rw-r--r--   1 edrx edrx        2440 Jun 29 04:29 integrate-2015.lua.html
-rw-r--r--   1 edrx edrx        3458 Feb 21 22:17 integration.lua
-rw-r--r--   1 edrx edrx        4524 Jun 29 04:29 integration.lua.html
-rw-r--r--   1 edrx edrx        7538 Feb 21 22:17 interactive.lua
-rw-r--r--   1 edrx edrx        9790 Jun 29 04:29 interactive.lua.html
-rw-r--r--   1 edrx edrx        1640 Feb 21 22:17 latexdags.lua
-rw-r--r--   1 edrx edrx        2421 Jun 29 04:29 latexdags.lua.html
drwxr-xr-x   2 edrx edrx        4096 Jun 29 04:29 ldb/
-rw-r--r--   1 edrx edrx        9295 Feb 21 22:17 lh.lua
-rw-r--r--   1 edrx edrx        9952 Jun 29 04:29 lh.lua.html
drwxr-xr-x   2 edrx edrx        4096 Jun 29 04:29 loadlib/
-rw-r--r--   1 edrx edrx        2546 Feb 21 22:17 lowerdiag.lua
-rw-r--r--   1 edrx edrx        3535 Jun 29 04:29 lowerdiag.lua.html
-rw-r--r--   1 edrx edrx        1697 Feb 21 22:17 lstoindexhtml.lua
-rw-r--r--   1 edrx edrx        3322 Jun 29 04:29 lstoindexhtml.lua.html
-rw-r--r--   1 edrx edrx        1719 Feb 21 22:17 lua50beta-argpatch.sh
-rw-r--r--   1 edrx edrx        3002 Jun 29 04:29 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       90989 Jun  3 23:29 lua50init.lua
-rw-r--r--   1 edrx edrx      152335 Jun 29 04:29 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 22:17 lua50ref.r2
-rw-r--r--   1 edrx edrx      209296 Jun 29 04:29 lua50ref.r2.html
-rw-r--r--   1 edrx edrx       20757 Feb 21 22:17 luaforth.lua
-rw-r--r--   1 edrx edrx       23925 Jun 29 04:29 luaforth.lua.html
-rw-r--r--   1 edrx edrx         924 Feb 21 22:17 luarocks-extra.lua
-rw-r--r--   1 edrx edrx        2348 Jun 29 04:29 luarocks-extra.lua.html
-rw-r--r--   1 edrx edrx        3948 Feb 21 22:17 luatclbridge.c
-rw-r--r--   1 edrx edrx        5026 Jun 29 04:29 luatclbridge.c.html
-rw-r--r--   2 edrx www-data  177580 Oct  6  2005 manual2.html
-rw-r--r--   1 edrx edrx       25142 Feb 21 22:17 math.blogme
-rw-r--r--   1 edrx edrx       29934 Jun 29 04:29 math.blogme.html
-rw-r--r--   1 edrx edrx        3205 Feb 21 22:17 microlisp-2017.lua
-rw-r--r--   1 edrx edrx        3973 Jun 29 04:29 microlisp-2017.lua.html
-rw-r--r--   1 edrx edrx        7383 Feb 21 22:17 middle-c.lua
-rw-r--r--   1 edrx edrx       12261 Jun 29 04:29 middle-c.lua.html
-rw-r--r--   1 edrx edrx        5543 Feb 21 22:17 modal.lua
-rw-r--r--   1 edrx edrx        6014 Jun 29 04:29 modal.lua.html
-rw-r--r--   1 edrx edrx         635 Feb 21 22:17 mygetstack.c
-rw-r--r--   1 edrx edrx        1308 Jun 29 04:29 mygetstack.c.html
-rwxr-xr-x   1 edrx edrx        2498 Feb 21 22:17 oldglyphs.lua*
-rw-r--r--   1 edrx edrx        3740 Jun 29 04:29 oldglyphs.lua.html
-rw-r--r--   1 edrx edrx        2807 Feb 21 22:17 parsechangelog.lua
-rw-r--r--   1 edrx edrx        3966 Jun 29 04:29 parsechangelog.lua.html
-rw-r--r--   1 edrx edrx         870 Feb 21 22:17 peek.lua
-rw-r--r--   1 edrx edrx        2389 Jun 29 04:29 peek.lua.html
-rw-r--r--   1 edrx edrx       21304 Feb 21 22:17 picture.lua
-rw-r--r--   1 edrx edrx       28328 Jun 29 04:29 picture.lua.html
-rw-r--r--   1 edrx edrx        1025 Feb 21 22:17 port7777.lua
-rw-r--r--   1 edrx edrx        1396 Jun 29 04:29 port7777.lua.html
-rw-r--r--   1 edrx edrx        3014 Feb 21 22:17 precedenceparser.lua
-rw-r--r--   1 edrx edrx        4163 Jun 29 04:29 precedenceparser.lua.html
-rw-r--r--   1 edrx edrx        2138 Feb 21 22:17 preproc.lua
-rw-r--r--   1 edrx edrx        3527 Jun 29 04:29 preproc.lua.html
-rw-r--r--   1 edrx edrx        4759 Feb 21 22:17 puro-calendario.lua
-rw-r--r--   1 edrx edrx        5636 Jun 29 04:29 puro-calendario.lua.html
-rw-r--r--   1 edrx edrx        2735 Feb 21 22:17 puro-calendario2.lua
-rw-r--r--   1 edrx edrx        4956 Jun 29 04:29 puro-calendario2.lua.html
-rwxr-xr-x   1 edrx edrx        1991 Feb 21 22:17 quickdiff.lua*
-rw-r--r--   1 edrx edrx        2915 Jun 29 04:29 quickdiff.lua.html
-rw-r--r--   1 edrx edrx         640 Feb 21 22:17 rectxpm.lua
-rw-r--r--   1 edrx edrx        1212 Jun 29 04:29 rectxpm.lua.html
-rwxr-xr-x   1 edrx edrx        5128 Feb 21 22:17 redirect.lua*
-rw-r--r--   1 edrx edrx        9313 Jun 29 04:29 redirect.lua.html
-rwxr-xr-x   1 edrx edrx        4480 Feb 21 22:17 syntrees.lua*
-rw-r--r--   1 edrx edrx        5993 Jun 29 04:29 syntrees.lua.html
-rwxr-xr-x   1 edrx edrx        9475 Feb 21 22:17 texcatcodes.lua*
-rw-r--r--   1 edrx edrx       15100 Jun 29 04:29 texcatcodes.lua.html
-rw-r--r--   1 edrx edrx        8018 Feb 21 22:17 texinfo.lua
-rw-r--r--   1 edrx edrx       12358 Jun 29 04:29 texinfo.lua.html
-rwxr-xr-x   1 edrx edrx        5252 Feb 21 22:17 texpage.lua*
-rw-r--r--   1 edrx edrx        8697 Jun 29 04:29 texpage.lua.html
-rw-r--r--   1 edrx edrx        2076 Feb 21 22:17 tictactoetree.lua
-rw-r--r--   1 edrx edrx        3145 Jun 29 04:29 tictactoetree.lua.html
-rw-r--r--   1 edrx edrx        5414 Feb 21 22:17 tinyftp.lua
-rw-r--r--   1 edrx edrx        6046 Jun 29 04:29 tinyftp.lua.html
-rw-r--r--   1 edrx edrx        3518 Feb 21 22:17 tinyftplib.lua
-rw-r--r--   1 edrx edrx        4001 Jun 29 04:29 tinyftplib.lua.html
-rw-r--r--   1 edrx edrx        2717 Feb 21 22:17 tlbridge.c
-rw-r--r--   1 edrx edrx        3676 Jun 29 04:29 tlbridge.c.html
-rw-r--r--   1 edrx edrx       24383 Feb 21 22:17 tmp.lua
-rw-r--r--   1 edrx edrx       28389 Jun 29 04:29 tmp.lua.html
-rw-r--r--   1 edrx edrx        2411 Feb 21 22:17 toposort.lua
-rw-r--r--   1 edrx edrx        1973 Feb 21 22:17 tos.lua
-rw-r--r--   1 edrx edrx        2859 Jun 29 04:29 tos.lua.html
-rw-r--r--   1 edrx edrx        2395 Feb 21 22:17 tos2.lua
-rw-r--r--   1 edrx edrx        3443 Jun 29 04:29 tos2.lua.html
-rw-r--r--   1 edrx edrx        4260 Feb 21 22:17 tostring.lua
-rw-r--r--   1 edrx edrx        6027 Jun 29 04:29 tostring.lua.html
-rw-r--r--   1 edrx edrx        1443 Feb 21 22:17 truthtables.lua
-rw-r--r--   1 edrx edrx        2326 Jun 29 04:29 truthtables.lua.html
-rw-r--r--   1 edrx edrx       10030 Feb 21 22:17 vectors.lua
-rw-r--r--   1 edrx edrx       12698 Jun 29 04:29 vectors.lua.html
-rw-r--r--   1 edrx edrx         452 Feb 21 22:17 vectors.tcl
-rw-r--r--   1 edrx edrx        1010 Jun 29 04:29 vectors.tcl.html
-rwxr-xr-x   1 edrx edrx      784626 Feb 21 22:17 youtube-db.lua*
-rw-r--r--   1 edrx edrx     1329934 Jun 29 04:29 youtube-db.lua.html
-rw-r--r--   1 edrx edrx         453 Feb 21 22:17 youtube-tags-2.lua
-rw-r--r--   1 edrx edrx        1577 Jun 29 04:29 youtube-tags-2.lua.html
-rw-r--r--   1 edrx edrx        2355 Feb 21 22:17 youtube-tags.lua
-rw-r--r--   1 edrx edrx        3658 Jun 29 04:29 youtube-tags.lua.html
-rw-r--r--   1 edrx edrx        5732 Feb 21 22:17 youtube.lua
-rw-r--r--   1 edrx edrx        8218 Jun 29 04:29 youtube.lua.html
-rw-r--r--   1 edrx edrx        1465 Feb 21 22:17 zdags.lua
-rw-r--r--   1 edrx edrx        2985 Jun 29 04:29 zdags.lua.html