drwxr-xr-x   6 edrx edrx       12288 Oct  6  2005 ./
drwxr-xr-x 209 edrx edrx       32768 Jun 24 18:49 ../
-rw-r--r--   1 edrx edrx        2544 Apr 14  2014 2013.2-ES-diags
-rw-r--r--   1 edrx edrx        4235 Jun 24 18:48 2013.2-ES-diags.html
-rw-r--r--   1 edrx edrx        1166 Apr 14  2014 8queens.lua
-rw-r--r--   1 edrx edrx        2028 Jun 24 18:48 8queens.lua.html
-rw-r--r--   1 edrx edrx         644 Apr 14  2014 anchors.lua
-rw-r--r--   1 edrx edrx        1114 Jun 24 18:48 anchors.lua.html
-rw-r--r--   1 edrx edrx       10929 Apr 14  2014 apt-move.lua
-rw-r--r--   1 edrx edrx       15578 Jun 24 18:48 apt-move.lua.html
-rw-r--r--   1 edrx edrx        5658 Apr 14  2014 begriff.lua
-rw-r--r--   1 edrx edrx        6966 Jun 24 18:48 begriff.lua.html
-rw-r--r--   1 edrx edrx        4915 Aug 31  2014 binops-re.lua
-rw-r--r--   1 edrx edrx        6311 Jun 24 18:48 binops-re.lua.html
-rw-r--r--   1 edrx edrx       19127 Apr 14  2014 blogme.lua
-rw-r--r--   1 edrx edrx       21255 Jun 24 18:48 blogme.lua.html
-rw-r--r--   1 edrx edrx        1491 Apr 14  2014 boxchars.lua
-rw-r--r--   1 edrx edrx        2983 Jun 24 18:48 boxchars.lua.html
-rw-r--r--   1 edrx edrx        6048 Apr 14  2014 brackets.lua
-rw-r--r--   1 edrx edrx        6499 Jun 24 18:48 brackets.lua.html
-rw-r--r--   1 edrx edrx         293 Apr 14  2014 call7777.lua
-rw-r--r--   1 edrx edrx         664 Jun 24 18:48 call7777.lua.html
-rw-r--r--   1 edrx edrx        5706 Apr 14  2014 canvas.lua
-rw-r--r--   1 edrx edrx        6688 Jun 24 18:48 canvas.lua.html
-rw-r--r--   1 edrx edrx       14301 Feb 22 02:06 canvas2.lua
-rw-r--r--   1 edrx edrx       15719 Jun 24 18:48 canvas2.lua.html
-rwxr-xr-x   1 edrx edrx       30663 Apr 14  2014 canvas3.lua*
-rw-r--r--   1 edrx edrx       47854 Jun 24 18:48 canvas3.lua.html
-rw-r--r--   1 edrx edrx        2383 Apr 30 13:00 composechars-u8.lua
-rw-r--r--   1 edrx edrx        3953 Jun 24 18:48 composechars-u8.lua.html
-rw-r--r--   1 edrx edrx        1855 Apr 14  2014 ctemplate.lua
-rw-r--r--   1 edrx edrx        3127 Jun 24 18:48 ctemplate.lua.html
-rw-r--r--   1 edrx edrx        5603 Apr 14  2014 debs.lua
-rw-r--r--   1 edrx edrx        6481 Jun 24 18:48 debs.lua.html
-rwxr-xr-x   1 edrx edrx        6058 Apr 14  2014 debs2.lua*
-rw-r--r--   1 edrx edrx        7618 Jun 24 18:48 debs2.lua.html
-rwxr-xr-x   1 edrx edrx         700 Apr 14  2014 debtemplate.lua*
-rw-r--r--   1 edrx edrx        1864 Jun 24 18:48 debtemplate.lua.html
-rwxr-xr-x   1 edrx edrx       13798 Apr 14  2014 dednat.lua*
-rw-r--r--   1 edrx edrx       23209 Jun 24 18:48 dednat.lua.html
-rwxr-xr-x   1 edrx edrx        3286 Apr 14  2014 defwithmanyargs.lua*
-rw-r--r--   1 edrx edrx        6210 Jun 24 18:48 defwithmanyargs.lua.html
-rw-r--r--   1 edrx edrx        6184 May  4 15:55 distributivity.lua
-rw-r--r--   1 edrx edrx        8267 Jun 24 18:48 distributivity.lua.html
-rwxr-xr-x   1 edrx edrx        1299 Jul 28  2017 djview-hack.lua*
-rw-r--r--   1 edrx edrx        2449 Jun 24 18:48 djview-hack.lua.html
-rwxr-xr-x   1 edrx edrx        6940 Apr  4 10:50 exifdatetime.lua*
-rw-r--r--   1 edrx edrx       11732 Jun 24 18:48 exifdatetime.lua.html
-rw-r--r--   1 edrx edrx       61872 May 28  2015 fbcomments.lua
-rw-r--r--   1 edrx edrx       74947 Jun 24 18:48 fbcomments.lua.html
-rwxr-xr-x   1 edrx edrx        5362 Aug 27  2017 flsfiles.lua*
-rw-r--r--   1 edrx edrx        7576 Jun 24 18:48 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 Apr 14  2014 forall_0.lua
-rw-r--r--   1 edrx edrx        2318 Jun 24 18:48 forall_0.lua.html
-rw-r--r--   1 edrx edrx        2789 Apr 14  2014 horarios.lua
-rw-r--r--   1 edrx edrx        3872 Jun 24 18:48 horarios.lua.html
-rw-r--r--   1 edrx edrx       10803 Apr 14  2014 inc.lua
-rw-r--r--   1 edrx edrx       17534 Jun 24 18:48 inc.lua.html
-rw-r--r--   1 edrx edrx       28970 Apr 14  2014 index.blogme
-rw-r--r--   1 edrx edrx       34711 Jun 24 18:48 index.blogme.html
-rw-r--r--   1 edrx edrx        1543 Oct 14  2015 integrate-2015.lua
-rw-r--r--   1 edrx edrx        2440 Jun 24 18:48 integrate-2015.lua.html
-rw-r--r--   1 edrx edrx        3458 Apr 14  2014 integration.lua
-rw-r--r--   1 edrx edrx        4524 Jun 24 18:48 integration.lua.html
-rw-r--r--   1 edrx edrx        7538 Apr 14  2014 interactive.lua
-rw-r--r--   1 edrx edrx        9790 Jun 24 18:48 interactive.lua.html
-rw-r--r--   1 edrx edrx        1640 Apr 14  2014 latexdags.lua
-rw-r--r--   1 edrx edrx        2421 Jun 24 18:48 latexdags.lua.html
drwxr-xr-x   2 edrx edrx        4096 Jun 24 18:48 ldb/
-rw-r--r--   1 edrx edrx        9295 Apr 14  2014 lh.lua
-rw-r--r--   1 edrx edrx        9952 Jun 24 18:48 lh.lua.html
drwxr-xr-x   2 edrx edrx        4096 Jun 24 18:48 loadlib/
-rw-r--r--   1 edrx edrx        2546 Apr 14  2014 lowerdiag.lua
-rw-r--r--   1 edrx edrx        3535 Jun 24 18:48 lowerdiag.lua.html
-rw-r--r--   1 edrx edrx        1697 Apr 16 23:41 lstoindexhtml.lua
-rw-r--r--   1 edrx edrx        3322 Jun 24 18:48 lstoindexhtml.lua.html
-rw-r--r--   1 edrx edrx        1719 Apr 14  2014 lua50beta-argpatch.sh
-rw-r--r--   1 edrx edrx        3002 Jun 24 18:48 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       91484 Jun 14 18:50 lua50init.lua
-rw-r--r--   1 edrx edrx      151289 Jun 24 18:48 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 Apr 14  2014 lua50ref.r2
-rw-r--r--   1 edrx edrx      209296 Jun 24 18:48 lua50ref.r2.html
-rw-r--r--   1 edrx edrx       20757 Apr 14  2014 luaforth.lua
-rw-r--r--   1 edrx edrx       23925 Jun 24 18:48 luaforth.lua.html
-rw-r--r--   1 edrx edrx        3948 Apr 14  2014 luatclbridge.c
-rw-r--r--   1 edrx edrx        5026 Jun 24 18:48 luatclbridge.c.html
-rw-r--r--   2 edrx www-data  177580 Oct  6  2005 manual2.html
-rw-r--r--   1 edrx edrx       25142 Apr 14  2014 math.blogme
-rw-r--r--   1 edrx edrx       29934 Jun 24 18:48 math.blogme.html
-rw-r--r--   1 edrx edrx        3205 Jul 13  2017 microlisp-2017.lua
-rw-r--r--   1 edrx edrx        3973 Jun 24 18:48 microlisp-2017.lua.html
-rw-r--r--   1 edrx edrx        7383 Apr 14  2014 middle-c.lua
-rw-r--r--   1 edrx edrx       12261 Jun 24 18:48 middle-c.lua.html
-rw-r--r--   1 edrx edrx        5543 Apr 14  2014 modal.lua
-rw-r--r--   1 edrx edrx        6014 Jun 24 18:48 modal.lua.html
-rw-r--r--   1 edrx edrx         635 May 17 02:34 mygetstack.c
-rw-r--r--   1 edrx edrx        1308 Jun 24 18:48 mygetstack.c.html
-rwxr-xr-x   1 edrx edrx        2498 Apr 30 13:00 oldglyphs.lua*
-rw-r--r--   1 edrx edrx        3740 Jun 24 18:48 oldglyphs.lua.html
-rw-r--r--   1 edrx edrx        2807 Apr 14  2014 parsechangelog.lua
-rw-r--r--   1 edrx edrx        3966 Jun 24 18:48 parsechangelog.lua.html
-rw-r--r--   1 edrx edrx         870 Apr 14  2014 peek.lua
-rw-r--r--   1 edrx edrx        2389 Jun 24 18:48 peek.lua.html
-rw-r--r--   1 edrx edrx       21304 Jan 27 07:18 picture.lua
-rw-r--r--   1 edrx edrx       28328 Jun 24 18:48 picture.lua.html
-rw-r--r--   1 edrx edrx        1025 Apr 14  2014 port7777.lua
-rw-r--r--   1 edrx edrx        1396 Jun 24 18:48 port7777.lua.html
-rw-r--r--   1 edrx edrx        3014 Apr 14  2014 precedenceparser.lua
-rw-r--r--   1 edrx edrx        4048 Jun 24 18:48 precedenceparser.lua.html
-rw-r--r--   1 edrx edrx        2138 Apr 14  2014 preproc.lua
-rw-r--r--   1 edrx edrx        3527 Jun 24 18:48 preproc.lua.html
-rw-r--r--   1 edrx edrx        4759 Apr 14  2014 puro-calendario.lua
-rw-r--r--   1 edrx edrx        5636 Jun 24 18:48 puro-calendario.lua.html
-rw-r--r--   1 edrx edrx        2735 Aug 29  2014 puro-calendario2.lua
-rw-r--r--   1 edrx edrx        4956 Jun 24 18:48 puro-calendario2.lua.html
-rwxr-xr-x   1 edrx edrx        1991 Apr 14  2014 quickdiff.lua*
-rw-r--r--   1 edrx edrx        2915 Jun 24 18:48 quickdiff.lua.html
-rw-r--r--   1 edrx edrx         640 Apr 14  2014 rectxpm.lua
-rw-r--r--   1 edrx edrx        1212 Jun 24 18:48 rectxpm.lua.html
-rwxr-xr-x   1 edrx edrx        4957 May  6  2016 redirect.lua*
-rw-r--r--   1 edrx edrx        8961 Jun 24 18:48 redirect.lua.html
-rwxr-xr-x   1 edrx edrx        4480 Oct 11  2014 syntrees.lua*
-rw-r--r--   1 edrx edrx        5993 Jun 24 18:48 syntrees.lua.html
-rwxr-xr-x   1 edrx edrx        6174 Mar  8  2018 texcatcodes.lua*
-rw-r--r--   1 edrx edrx        8111 Jun 24 18:48 texcatcodes.lua.html
-rw-r--r--   1 edrx edrx        8018 Apr 14  2014 texinfo.lua
-rw-r--r--   1 edrx edrx       12358 Jun 24 18:48 texinfo.lua.html
-rwxr-xr-x   1 edrx edrx        5252 Apr 14  2014 texpage.lua*
-rw-r--r--   1 edrx edrx        8697 Jun 24 18:48 texpage.lua.html
-rw-r--r--   1 edrx edrx        1929 Apr 14  2014 tictactoetree.lua
-rw-r--r--   1 edrx edrx        2704 Jun 24 18:48 tictactoetree.lua.html
-rw-r--r--   1 edrx edrx        5414 Apr 14  2014 tinyftp.lua
-rw-r--r--   1 edrx edrx        6046 Jun 24 18:48 tinyftp.lua.html
-rw-r--r--   1 edrx edrx        3518 Apr 14  2014 tinyftplib.lua
-rw-r--r--   1 edrx edrx        4001 Jun 24 18:48 tinyftplib.lua.html
-rw-r--r--   1 edrx edrx        2717 Apr 14  2014 tlbridge.c
-rw-r--r--   1 edrx edrx        3676 Jun 24 18:48 tlbridge.c.html
-rw-r--r--   1 edrx edrx       24383 Aug 18  2014 tmp.lua
-rw-r--r--   1 edrx edrx       28274 Jun 24 18:48 tmp.lua.html
-rw-r--r--   1 edrx edrx        2411 Apr 14  2014 toposort.lua
-rw-r--r--   1 edrx edrx        1973 Apr 14  2014 tos.lua
-rw-r--r--   1 edrx edrx        2859 Jun 24 18:48 tos.lua.html
-rw-r--r--   1 edrx edrx        2395 Apr 14  2014 tos2.lua
-rw-r--r--   1 edrx edrx        3443 Jun 24 18:48 tos2.lua.html
-rw-r--r--   1 edrx edrx        4260 Apr 14  2014 tostring.lua
-rw-r--r--   1 edrx edrx        6027 Jun 24 18:48 tostring.lua.html
-rw-r--r--   1 edrx edrx        1443 Apr 14  2014 truthtables.lua
-rw-r--r--   1 edrx edrx        2326 Jun 24 18:48 truthtables.lua.html
-rw-r--r--   1 edrx edrx       10030 Apr 14  2014 vectors.lua
-rw-r--r--   1 edrx edrx       12698 Jun 24 18:48 vectors.lua.html
-rw-r--r--   1 edrx edrx         452 Apr 14  2014 vectors.tcl
-rw-r--r--   1 edrx edrx        1010 Jun 24 18:48 vectors.tcl.html
-rwxr-xr-x   1 edrx edrx      784626 Jul 17  2014 youtube-db.lua*
-rw-r--r--   1 edrx edrx     1329934 Jun 24 18:48 youtube-db.lua.html
-rw-r--r--   1 edrx edrx         453 Apr 14  2014 youtube-tags-2.lua
-rw-r--r--   1 edrx edrx        1462 Jun 24 18:48 youtube-tags-2.lua.html
-rw-r--r--   1 edrx edrx        2355 Apr 14  2014 youtube-tags.lua
-rw-r--r--   1 edrx edrx        3543 Jun 24 18:48 youtube-tags.lua.html
-rw-r--r--   1 edrx edrx        5732 Apr 14  2014 youtube.lua
-rw-r--r--   1 edrx edrx        8218 Jun 24 18:48 youtube.lua.html
-rw-r--r--   1 edrx edrx        1465 Apr 14  2014 zdags.lua
-rw-r--r--   1 edrx edrx        2985 Jun 24 18:48 zdags.lua.html