drwxr-xr-x 4 edrx edrx 4096 Aug 16 00:20 ./ drwxr-xr-x 214 edrx edrx 32768 Oct 20 00:33 ../ -rw-r--r-- 2 edrx edrx 238071 Jul 6 22:28 2018dednat6-extras.pdf -rw-r--r-- 1 edrx edrx 43236 Jul 19 07:34 2018dednat6-extras.tex -rw-r--r-- 1 edrx edrx 56457 Oct 20 00:33 2018dednat6-extras.tex.html -rw-r--r-- 1 edrx edrx 462 Aug 15 23:52 ChangeLog -rw-r--r-- 1 edrx edrx 849 Oct 20 00:33 ChangeLog.html -rw-r--r-- 1 edrx edrx 1630 Aug 20 19:12 Makefile -rw-r--r-- 1 edrx edrx 2593 Oct 20 00:33 Makefile.html -rw-r--r-- 1 edrx edrx 1215 Jul 19 08:49 README.md -rw-r--r-- 1 edrx edrx 2011 Oct 20 00:33 README.md.html -rw-r--r-- 1 edrx edrx 58 Oct 6 02:43 VERSION -rw-r--r-- 1 edrx edrx 423 Oct 20 00:33 VERSION.html drwxr-xr-x 3 edrx edrx 4096 Oct 20 00:33 dednat6/ -rw-r--r-- 2 edrx edrx 75089 Sep 7 2015 dednat6-20150907.tgz -rw-r--r-- 2 edrx edrx 87342 Sep 7 2015 dednat6-20150907.zip -rw-r--r-- 2 edrx edrx 97506 Sep 24 2015 dednat6-20150924.tgz -rw-r--r-- 2 edrx edrx 110719 Sep 24 2015 dednat6-20150924.zip -rw-r--r-- 2 edrx edrx 101514 Sep 28 2015 dednat6-20150928.tgz -rw-r--r-- 2 edrx edrx 114731 Sep 28 2015 dednat6-20150928.zip -rw-r--r-- 2 edrx edrx 103070 Oct 19 2015 dednat6-20151019.tgz -rw-r--r-- 2 edrx edrx 116624 Oct 19 2015 dednat6-20151019.zip -rw-r--r-- 2 edrx edrx 103070 Oct 19 2015 dednat6.tgz -rw-r--r-- 2 edrx edrx 116624 Oct 19 2015 dednat6.zip -rwxr-xr-x 1 edrx edrx 3903 Sep 29 16:06 dednat6load.lua* -rw-r--r-- 1 edrx edrx 6072 Oct 20 00:33 dednat6load.lua.html -rw-r--r-- 2 edrx edrx 72669 Aug 16 00:20 demo-minimal-abilio.pdf -rw-r--r-- 1 edrx edrx 4413 Aug 15 23:48 demo-minimal-abilio.tex -rw-r--r-- 1 edrx edrx 5976 Oct 20 00:33 demo-minimal-abilio.tex.html -rw-r--r-- 2 edrx edrx 69145 Jul 6 22:28 demo-minimal.pdf -rw-r--r-- 1 edrx edrx 3888 Aug 15 23:44 demo-minimal.tex -rw-r--r-- 1 edrx edrx 5402 Oct 20 00:33 demo-minimal.tex.html -rw-r--r-- 2 edrx edrx 73951 Jul 6 22:28 demo-preproc.pdf -rw-r--r-- 1 edrx edrx 2625 May 18 22:53 demo-preproc.tex -rw-r--r-- 1 edrx edrx 3817 Oct 20 00:33 demo-preproc.tex.html -rw-r--r-- 1 edrx edrx 457 May 19 00:43 demo-repl.tex -rw-r--r-- 1 edrx edrx 1334 Oct 20 00:33 demo-repl.tex.html -rw-r--r-- 2 edrx edrx 58144 Jul 6 22:28 demo-write-dnt.pdf -rw-r--r-- 1 edrx edrx 2962 May 18 23:01 demo-write-dnt.tex -rw-r--r-- 1 edrx edrx 3996 Oct 20 00:33 demo-write-dnt.tex.html -rw-r--r-- 1 edrx edrx 3414 Aug 20 18:12 demo-write-single.tex -rw-r--r-- 1 edrx edrx 4769 Oct 20 00:33 demo-write-single.tex.html -rw-r--r-- 2 edrx edrx 203233 Jul 19 07:30 extra-comparisons.pdf -rw-r--r-- 1 edrx edrx 18232 Jul 19 06:49 extra-comparisons.tex -rw-r--r-- 1 edrx edrx 25717 Oct 20 00:33 extra-comparisons.tex.html -rw-r--r-- 2 edrx edrx 97148 Jul 6 22:28 extra-features.pdf -rw-r--r-- 1 edrx edrx 12304 Aug 19 14:50 extra-features.tex -rw-r--r-- 1 edrx edrx 16540 Oct 20 00:33 extra-features.tex.html -rw-r--r-- 2 edrx edrx 72719 Jul 6 22:28 extra-modules.pdf -rw-r--r-- 1 edrx edrx 5742 Oct 13 20:58 extra-modules.tex -rw-r--r-- 1 edrx edrx 8914 Oct 20 00:33 extra-modules.tex.html -rw-r--r-- 1 edrx edrx 4331 May 21 16:39 myverbatim.lua -rw-r--r-- 1 edrx edrx 6526 Oct 20 00:33 myverbatim.lua.html drwxr-xr-x 2 edrx edrx 4096 Sep 24 2015 tests/ -rw-r--r-- 1 edrx edrx 4111 Jul 16 2018 tug-slides-ss1.png -rw-r--r-- 1 edrx edrx 5724 Jul 18 2018 tug-slides-sslr2.png -rw-r--r-- 2 edrx edrx 174719 Jul 6 22:28 tug-slides.pdf -rw-r--r-- 1 edrx edrx 32183 Jul 19 10:58 tug-slides.tex -rw-r--r-- 1 edrx edrx 49820 Oct 20 00:33 tug-slides.tex.html -rw-r--r-- 2 edrx edrx 131615 Jul 6 22:28 tugboat-rev2.pdf -rw-r--r-- 1 edrx edrx 29199 Jul 19 08:36 tugboat-rev2.tex -rw-r--r-- 1 edrx edrx 37115 Oct 20 00:33 tugboat-rev2.tex.html