drwxr-xr-x   4 edrx edrx   4096 Aug 16 00:20 ./
drwxr-xr-x 212 edrx edrx  32768 Aug 18 00:22 ../
-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 Aug 18 00:21 2018dednat6-extras.tex.html
-rw-r--r--   1 edrx edrx    462 Aug 15 23:52 ChangeLog
-rw-r--r--   1 edrx edrx    849 Aug 18 00:21 ChangeLog.html
-rw-r--r--   1 edrx edrx   1452 Jul 19 08:05 Makefile
-rw-r--r--   1 edrx edrx   2407 Aug 18 00:21 Makefile.html
-rw-r--r--   1 edrx edrx   1215 Jul 19 08:49 README.md
-rw-r--r--   1 edrx edrx   2011 Aug 18 00:21 README.md.html
-rw-r--r--   1 edrx edrx     58 Aug 15 23:49 VERSION
-rw-r--r--   1 edrx edrx    423 Aug 18 00:21 VERSION.html
drwxr-xr-x   3 edrx edrx   4096 Aug 18 00:21 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   3844 May 15 21:27 dednat6load.lua*
-rw-r--r--   1 edrx edrx   5945 Aug 18 00:21 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 Aug 18 00:21 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 Aug 18 00:21 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 Aug 18 00:21 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 Aug 18 00:21 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 Aug 18 00:21 demo-write-dnt.tex.html
-rw-r--r--   1 edrx edrx   2453 Aug 15 23:19 demo-write-single.tex
-rw-r--r--   1 edrx edrx   3621 Aug 18 00:21 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 Aug 18 00:21 extra-comparisons.tex.html
-rw-r--r--   2 edrx edrx  97148 Jul  6 22:28 extra-features.pdf
-rw-r--r--   1 edrx edrx  12170 Jul 16 09:46 extra-features.tex
-rw-r--r--   1 edrx edrx  16284 Aug 18 00:21 extra-features.tex.html
-rw-r--r--   2 edrx edrx  72719 Jul  6 22:28 extra-modules.pdf
-rw-r--r--   1 edrx edrx   4657 May 19 23:05 extra-modules.tex
-rw-r--r--   1 edrx edrx   6632 Aug 18 00:21 extra-modules.tex.html
-rw-r--r--   1 edrx edrx   4331 May 21 16:39 myverbatim.lua
-rw-r--r--   1 edrx edrx   6526 Aug 18 00:21 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 Aug 18 00:21 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 Aug 18 00:21 tugboat-rev2.tex.html