drwxr-xr-x 6 edrx edrx 12288 Oct 6 2005 ./ drwxr-xr-x 222 edrx edrx 32768 Jan 18 20:31 ../ -rw-r--r-- 1 edrx edrx 2544 Feb 21 2020 2013.2-ES-diags -rw-r--r-- 1 edrx edrx 4226 Jan 18 20:30 2013.2-ES-diags.html -rw-r--r-- 1 edrx edrx 1166 Feb 21 2020 8queens.lua -rw-r--r-- 1 edrx edrx 2016 Jan 18 20:30 8queens.lua.html -rw-r--r-- 1 edrx edrx 644 Feb 21 2020 anchors.lua -rw-r--r-- 1 edrx edrx 1102 Jan 18 20:30 anchors.lua.html -rw-r--r-- 1 edrx edrx 10929 Feb 21 2020 apt-move.lua -rw-r--r-- 1 edrx edrx 14544 Jan 18 20:30 apt-move.lua.html -rw-r--r-- 1 edrx edrx 5658 Feb 21 2020 begriff.lua -rw-r--r-- 1 edrx edrx 6967 Jan 18 20:30 begriff.lua.html -rw-r--r-- 1 edrx edrx 4915 Feb 21 2020 binops-re.lua -rw-r--r-- 1 edrx edrx 6302 Jan 18 20:30 binops-re.lua.html -rw-r--r-- 1 edrx edrx 19127 Feb 21 2020 blogme.lua -rw-r--r-- 1 edrx edrx 21248 Jan 18 20:30 blogme.lua.html -rw-r--r-- 1 edrx edrx 1137 Jan 15 01:35 blogme2021.lua -rw-r--r-- 1 edrx edrx 2213 Jan 18 20:30 blogme2021.lua.html -rw-r--r-- 1 edrx edrx 9771 Jan 10 00:23 book-index.lua -rw-r--r-- 1 edrx edrx 17389 Jan 18 20:30 book-index.lua.html -rw-r--r-- 1 edrx edrx 1491 Feb 21 2020 boxchars.lua -rw-r--r-- 1 edrx edrx 2853 Jan 18 20:30 boxchars.lua.html -rw-r--r-- 1 edrx edrx 6048 Feb 21 2020 brackets.lua -rw-r--r-- 1 edrx edrx 6487 Jan 18 20:30 brackets.lua.html -rw-r--r-- 1 edrx edrx 293 Feb 21 2020 call7777.lua -rw-r--r-- 1 edrx edrx 652 Jan 18 20:30 call7777.lua.html -rw-r--r-- 1 edrx edrx 5706 Feb 21 2020 canvas.lua -rw-r--r-- 1 edrx edrx 6676 Jan 18 20:30 canvas.lua.html -rw-r--r-- 1 edrx edrx 14301 Feb 21 2020 canvas2.lua -rw-r--r-- 1 edrx edrx 15463 Jan 18 20:30 canvas2.lua.html -rwxr-xr-x 1 edrx edrx 30663 Feb 21 2020 canvas3.lua* -rw-r--r-- 1 edrx edrx 43004 Jan 18 20:30 canvas3.lua.html -rw-r--r-- 1 edrx edrx 2383 Feb 21 2020 composechars-u8.lua -rw-r--r-- 1 edrx edrx 4165 Jan 18 20:30 composechars-u8.lua.html -rw-r--r-- 1 edrx edrx 1855 Feb 21 2020 ctemplate.lua -rw-r--r-- 1 edrx edrx 2962 Jan 18 20:30 ctemplate.lua.html -rw-r--r-- 1 edrx edrx 5603 Feb 21 2020 debs.lua -rw-r--r-- 1 edrx edrx 6469 Jan 18 20:30 debs.lua.html -rwxr-xr-x 1 edrx edrx 6058 Feb 21 2020 debs2.lua* -rw-r--r-- 1 edrx edrx 7606 Jan 18 20:30 debs2.lua.html -rwxr-xr-x 1 edrx edrx 700 Feb 21 2020 debtemplate.lua* -rw-r--r-- 1 edrx edrx 1852 Jan 18 20:30 debtemplate.lua.html -rwxr-xr-x 1 edrx edrx 13798 Feb 21 2020 dednat.lua* -rw-r--r-- 1 edrx edrx 19223 Jan 18 20:30 dednat.lua.html -rwxr-xr-x 1 edrx edrx 3286 Feb 21 2020 defwithmanyargs.lua* -rw-r--r-- 1 edrx edrx 5725 Jan 18 20:30 defwithmanyargs.lua.html -rw-r--r-- 1 edrx edrx 6184 Feb 21 2020 distributivity.lua -rw-r--r-- 1 edrx edrx 8257 Jan 18 20:30 distributivity.lua.html -rwxr-xr-x 1 edrx edrx 1299 Feb 21 2020 djview-hack.lua* -rw-r--r-- 1 edrx edrx 2605 Jan 18 20:30 djview-hack.lua.html -rw-r--r-- 1 edrx edrx 24134 Jan 15 19:53 elispwt.lua -rw-r--r-- 1 edrx edrx 38575 Jan 18 20:30 elispwt.lua.html -rwxr-xr-x 1 edrx edrx 7301 Feb 21 2020 exifdatetime.lua* -rw-r--r-- 1 edrx edrx 11003 Jan 18 20:30 exifdatetime.lua.html -rw-r--r-- 1 edrx edrx 61872 Feb 21 2020 fbcomments.lua -rw-r--r-- 1 edrx edrx 74938 Jan 18 20:30 fbcomments.lua.html -rwxr-xr-x 1 edrx edrx 5362 Feb 21 2020 flsfiles.lua* -rw-r--r-- 1 edrx edrx 7247 Jan 18 20:30 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 Jan 18 20:30 forall_0.lua.html -rw-r--r-- 1 edrx edrx 2789 Feb 21 2020 horarios.lua -rw-r--r-- 1 edrx edrx 3601 Jan 18 20:30 horarios.lua.html -rw-r--r-- 1 edrx edrx 10803 Feb 21 2020 inc.lua -rw-r--r-- 1 edrx edrx 14695 Jan 18 20:30 inc.lua.html -rw-r--r-- 1 edrx edrx 28970 Feb 21 2020 index.blogme -rw-r--r-- 1 edrx edrx 34699 Jan 18 20:30 index.blogme.html -rw-r--r-- 1 edrx edrx 1543 Feb 21 2020 integrate-2015.lua -rw-r--r-- 1 edrx edrx 2428 Jan 18 20:30 integrate-2015.lua.html -rw-r--r-- 1 edrx edrx 3458 Feb 21 2020 integration.lua -rw-r--r-- 1 edrx edrx 4424 Jan 18 20:30 integration.lua.html -rw-r--r-- 1 edrx edrx 7538 Feb 21 2020 interactive.lua -rw-r--r-- 1 edrx edrx 9168 Jan 18 20:30 interactive.lua.html -rw-r--r-- 1 edrx edrx 1640 Feb 21 2020 latexdags.lua -rw-r--r-- 1 edrx edrx 2409 Jan 18 20:30 latexdags.lua.html drwxr-xr-x 2 edrx edrx 4096 Jan 18 20:30 ldb/ -rw-r--r-- 1 edrx edrx 9295 Feb 21 2020 lh.lua -rw-r--r-- 1 edrx edrx 9940 Jan 18 20:30 lh.lua.html drwxr-xr-x 2 edrx edrx 4096 Jan 18 20:30 loadlib/ -rw-r--r-- 1 edrx edrx 2546 Feb 21 2020 lowerdiag.lua -rw-r--r-- 1 edrx edrx 3523 Jan 18 20:30 lowerdiag.lua.html -rw-r--r-- 1 edrx edrx 1697 Feb 21 2020 lstoindexhtml.lua -rw-r--r-- 1 edrx edrx 3310 Jan 18 20:30 lstoindexhtml.lua.html -rw-r--r-- 1 edrx edrx 1719 Feb 21 2020 lua50beta-argpatch.sh -rw-r--r-- 1 edrx edrx 2990 Jan 18 20:30 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 91622 Jan 15 01:02 lua50init.lua -rw-r--r-- 1 edrx edrx 127176 Jan 18 20:30 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 Jan 18 20:30 lua50ref.r2.html -rw-r--r-- 1 edrx edrx 20757 Feb 21 2020 luaforth.lua -rw-r--r-- 1 edrx edrx 21924 Jan 18 20:30 luaforth.lua.html -rw-r--r-- 1 edrx edrx 924 Feb 21 2020 luarocks-extra.lua -rw-r--r-- 1 edrx edrx 2334 Jan 18 20:30 luarocks-extra.lua.html -rw-r--r-- 1 edrx edrx 3948 Feb 21 2020 luatclbridge.c -rw-r--r-- 1 edrx edrx 4893 Jan 18 20:30 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 2020 math.blogme -rw-r--r-- 1 edrx edrx 29897 Jan 18 20:30 math.blogme.html -rw-r--r-- 1 edrx edrx 3205 Feb 21 2020 microlisp-2017.lua -rw-r--r-- 1 edrx edrx 3961 Jan 18 20:30 microlisp-2017.lua.html -rw-r--r-- 1 edrx edrx 7383 Feb 21 2020 middle-c.lua -rw-r--r-- 1 edrx edrx 9779 Jan 18 20:30 middle-c.lua.html -rw-r--r-- 1 edrx edrx 5543 Feb 21 2020 modal.lua -rw-r--r-- 1 edrx edrx 6002 Jan 18 20:30 modal.lua.html -rw-r--r-- 1 edrx edrx 635 Feb 21 2020 mygetstack.c -rw-r--r-- 1 edrx edrx 1132 Jan 18 20:30 mygetstack.c.html -rw-r--r-- 1 edrx edrx 7383 Oct 28 01:14 myxpcall.lua -rw-r--r-- 1 edrx edrx 10422 Jan 18 20:30 myxpcall.lua.html -rwxr-xr-x 1 edrx edrx 2498 Feb 21 2020 oldglyphs.lua* -rw-r--r-- 1 edrx edrx 3491 Jan 18 20:30 oldglyphs.lua.html -rw-r--r-- 1 edrx edrx 2807 Feb 21 2020 parsechangelog.lua -rw-r--r-- 1 edrx edrx 3954 Jan 18 20:30 parsechangelog.lua.html -rw-r--r-- 1 edrx edrx 870 Feb 21 2020 peek.lua -rw-r--r-- 1 edrx edrx 2194 Jan 18 20:30 peek.lua.html -rw-r--r-- 1 edrx edrx 21304 Feb 21 2020 picture.lua -rw-r--r-- 1 edrx edrx 26358 Jan 18 20:30 picture.lua.html -rw-r--r-- 1 edrx edrx 1025 Feb 21 2020 port7777.lua -rw-r--r-- 1 edrx edrx 1384 Jan 18 20:30 port7777.lua.html -rw-r--r-- 1 edrx edrx 3014 Feb 21 2020 precedenceparser.lua -rw-r--r-- 1 edrx edrx 4039 Jan 18 20:30 precedenceparser.lua.html -rw-r--r-- 1 edrx edrx 2138 Feb 21 2020 preproc.lua -rw-r--r-- 1 edrx edrx 3515 Jan 18 20:30 preproc.lua.html -rw-r--r-- 1 edrx edrx 4759 Feb 21 2020 puro-calendario.lua -rw-r--r-- 1 edrx edrx 5624 Jan 18 20:30 puro-calendario.lua.html -rw-r--r-- 1 edrx edrx 2735 Feb 21 2020 puro-calendario2.lua -rw-r--r-- 1 edrx edrx 4793 Jan 18 20:30 puro-calendario2.lua.html -rwxr-xr-x 1 edrx edrx 1991 Feb 21 2020 quickdiff.lua* -rw-r--r-- 1 edrx edrx 2903 Jan 18 20:30 quickdiff.lua.html -rw-r--r-- 1 edrx edrx 640 Feb 21 2020 rectxpm.lua -rw-r--r-- 1 edrx edrx 1200 Jan 18 20:30 rectxpm.lua.html -rwxr-xr-x 1 edrx edrx 5562 Aug 26 22:50 redirect.lua* -rw-r--r-- 1 edrx edrx 10203 Jan 18 20:30 redirect.lua.html -rwxr-xr-x 1 edrx edrx 4480 Feb 21 2020 syntrees.lua* -rw-r--r-- 1 edrx edrx 5981 Jan 18 20:30 syntrees.lua.html -rwxr-xr-x 1 edrx edrx 9475 Feb 21 2020 texcatcodes.lua* -rw-r--r-- 1 edrx edrx 13964 Jan 18 20:30 texcatcodes.lua.html -rw-r--r-- 1 edrx edrx 8018 Feb 21 2020 texinfo.lua -rw-r--r-- 1 edrx edrx 10884 Jan 18 20:30 texinfo.lua.html -rwxr-xr-x 1 edrx edrx 5252 Feb 21 2020 texpage.lua* -rw-r--r-- 1 edrx edrx 7289 Jan 18 20:30 texpage.lua.html -rw-r--r-- 1 edrx edrx 2076 Feb 21 2020 tictactoetree.lua -rw-r--r-- 1 edrx edrx 3133 Jan 18 20:30 tictactoetree.lua.html -rw-r--r-- 1 edrx edrx 1436 Jan 17 01:45 timestamps.lua -rw-r--r-- 1 edrx edrx 2915 Jan 18 20:30 timestamps.lua.html -rw-r--r-- 1 edrx edrx 5414 Feb 21 2020 tinyftp.lua -rw-r--r-- 1 edrx edrx 5938 Jan 18 20:30 tinyftp.lua.html -rw-r--r-- 1 edrx edrx 3518 Feb 21 2020 tinyftplib.lua -rw-r--r-- 1 edrx edrx 3893 Jan 18 20:30 tinyftplib.lua.html -rw-r--r-- 1 edrx edrx 2717 Feb 21 2020 tlbridge.c -rw-r--r-- 1 edrx edrx 3543 Jan 18 20:30 tlbridge.c.html -rw-r--r-- 1 edrx edrx 24383 Feb 21 2020 tmp.lua -rw-r--r-- 1 edrx edrx 28265 Jan 18 20:30 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 Jan 18 20:30 tos.lua.html -rw-r--r-- 1 edrx edrx 2395 Feb 21 2020 tos2.lua -rw-r--r-- 1 edrx edrx 3431 Jan 18 20:30 tos2.lua.html -rw-r--r-- 1 edrx edrx 4260 Feb 21 2020 tostring.lua -rw-r--r-- 1 edrx edrx 5881 Jan 18 20:30 tostring.lua.html -rw-r--r-- 1 edrx edrx 1443 Feb 21 2020 truthtables.lua -rw-r--r-- 1 edrx edrx 2314 Jan 18 20:30 truthtables.lua.html -rw-r--r-- 1 edrx edrx 10030 Feb 21 2020 vectors.lua -rw-r--r-- 1 edrx edrx 11927 Jan 18 20:30 vectors.lua.html -rw-r--r-- 1 edrx edrx 452 Feb 21 2020 vectors.tcl -rw-r--r-- 1 edrx edrx 998 Jan 18 20:30 vectors.tcl.html -rwxr-xr-x 1 edrx edrx 784626 Feb 21 2020 youtube-db.lua* -rw-r--r-- 1 edrx edrx 1326471 Jan 18 20:30 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 Jan 18 20:30 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 Jan 18 20:30 youtube-tags.lua.html -rw-r--r-- 1 edrx edrx 5732 Feb 21 2020 youtube.lua -rw-r--r-- 1 edrx edrx 8124 Jan 18 20:30 youtube.lua.html -rw-r--r-- 1 edrx edrx 1465 Feb 21 2020 zdags.lua -rw-r--r-- 1 edrx edrx 2882 Jan 18 20:30 zdags.lua.html