drwxr-xr-x   4 edrx edrx   4096 Oct 19  2015 ./
drwxr-xr-x 209 edrx edrx  32768 Jun 24 01:56 ../
-rw-r--r--   1 edrx edrx  42920 May 21 16:39 2018dednat6-extras.tex
-rw-r--r--   1 edrx edrx  55556 Jun 24 01:55 2018dednat6-extras.tex.html
-rw-r--r--   1 edrx edrx   1409 May 21 16:32 Makefile
-rw-r--r--   1 edrx edrx   2364 Jun 24 01:55 Makefile.html
-rw-r--r--   1 edrx edrx    928 May 21 21:09 README.md
-rw-r--r--   1 edrx edrx   1550 Jun 24 01:55 README.md.html
-rw-r--r--   1 edrx edrx     58 May 16 00:01 VERSION
-rw-r--r--   1 edrx edrx    423 Jun 24 01:55 VERSION.html
drwxr-xr-x   3 edrx edrx   4096 Jun 24 01:55 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
-rw-r--r--   1 edrx edrx   3832 May 21 21:03 demo-minimal.tex
-rw-r--r--   1 edrx edrx   5280 Jun 24 01:55 demo-minimal.tex.html
-rw-r--r--   1 edrx edrx   2625 May 18 22:53 demo-preproc.tex
-rw-r--r--   1 edrx edrx   3817 Jun 24 01:55 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 Jun 24 01:55 demo-repl.tex.html
-rw-r--r--   1 edrx edrx   2962 May 18 23:01 demo-write-dnt.tex
-rw-r--r--   1 edrx edrx   3996 Jun 24 01:55 demo-write-dnt.tex.html
-rw-r--r--   1 edrx edrx   1395 May 19 23:45 extra-comparisons.tex
-rw-r--r--   1 edrx edrx   2534 Jun 24 01:55 extra-comparisons.tex.html
-rw-r--r--   1 edrx edrx  12019 May 21 16:54 extra-features.tex
-rw-r--r--   1 edrx edrx  15438 Jun 24 01:55 extra-features.tex.html
-rw-r--r--   1 edrx edrx   4657 May 19 23:05 extra-modules.tex
-rw-r--r--   1 edrx edrx   6632 Jun 24 01:55 extra-modules.tex.html
-rw-r--r--   1 edrx edrx   4331 May 21 16:39 myverbatim.lua
-rw-r--r--   1 edrx edrx   6526 Jun 24 01:55 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--   1 edrx edrx  32065 May 21 16:42 tug-slides.tex
-rw-r--r--   1 edrx edrx  49022 Jun 24 01:55 tug-slides.tex.html
-rw-r--r--   1 edrx edrx  29179 May 18 22:36 tugboat-rev2.tex
-rw-r--r--   1 edrx edrx  37151 Jun 24 01:55 tugboat-rev2.tex.html