drwxr-xr-x   4 edrx edrx   4096 Jun  6 01:35 ./
drwxr-xr-x 218 edrx edrx  36864 Sep 24 01:45 ../
-rw-r--r--   2 edrx edrx 238071 Jul  6  2019 2018dednat6-extras.pdf
-rw-r--r--   1 edrx edrx  43236 Feb 21  2020 2018dednat6-extras.tex
-rw-r--r--   1 edrx edrx  56454 Sep 24 01:44 2018dednat6-extras.tex.html
-rw-r--r--   1 edrx edrx    462 Feb 21  2020 ChangeLog
-rw-r--r--   1 edrx edrx    849 Sep 24 01:44 ChangeLog.html
-rw-r--r--   1 edrx edrx   1782 Feb 21  2020 Makefile
-rw-r--r--   1 edrx edrx   2745 Sep 24 01:44 Makefile.html
-rw-r--r--   1 edrx edrx   1215 Feb 21  2020 README.md
-rw-r--r--   1 edrx edrx   2011 Sep 24 01:44 README.md.html
-rw-r--r--   1 edrx edrx     58 Aug 24 04:40 VERSION
-rw-r--r--   1 edrx edrx    423 Sep 24 01:44 VERSION.html
drwxr-xr-x   3 edrx edrx   4096 Sep 24 01:44 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--   1 edrx edrx   5440 Aug 14 22:15 dednat6.el
-rw-r--r--   1 edrx edrx   6215 Sep 24 01:44 dednat6.el.html
-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 Feb 21  2020 dednat6load.lua*
-rw-r--r--   1 edrx edrx   6072 Sep 24 01:44 dednat6load.lua.html
-rw-r--r--   2 edrx edrx  14362 Jun  6 01:35 demo-core.pdf
-rw-r--r--   1 edrx edrx   2542 Jun  6 04:07 demo-core.tex
-rw-r--r--   1 edrx edrx   3912 Sep 24 01:44 demo-core.tex.html
-rw-r--r--   2 edrx edrx  72669 Aug 16  2019 demo-minimal-abilio.pdf
-rw-r--r--   1 edrx edrx   4413 Feb 21  2020 demo-minimal-abilio.tex
-rw-r--r--   1 edrx edrx   5973 Sep 24 01:44 demo-minimal-abilio.tex.html
-rw-r--r--   2 edrx edrx  69145 Jul  6  2019 demo-minimal.pdf
-rw-r--r--   1 edrx edrx   3888 Feb 21  2020 demo-minimal.tex
-rw-r--r--   1 edrx edrx   5399 Sep 24 01:44 demo-minimal.tex.html
-rw-r--r--   2 edrx edrx  73951 Jul  6  2019 demo-preproc.pdf
-rw-r--r--   1 edrx edrx   2625 Feb 21  2020 demo-preproc.tex
-rw-r--r--   1 edrx edrx   3711 Sep 24 01:44 demo-preproc.tex.html
-rw-r--r--   1 edrx edrx    457 Feb 21  2020 demo-repl.tex
-rw-r--r--   1 edrx edrx   1334 Sep 24 01:44 demo-repl.tex.html
-rw-r--r--   2 edrx edrx  43428 Feb 21  2020 demo-tikz.pdf
-rw-r--r--   1 edrx edrx   4266 Feb 21  2020 demo-tikz.tex
-rw-r--r--   1 edrx edrx   5618 Sep 24 01:44 demo-tikz.tex.html
-rw-r--r--   2 edrx edrx  77199 Mar 27 21:55 demo-underbrace.pdf
-rw-r--r--   1 edrx edrx   3564 Mar 27 21:54 demo-underbrace.tex
-rw-r--r--   1 edrx edrx   6507 Sep 24 01:44 demo-underbrace.tex.html
-rw-r--r--   2 edrx edrx  58144 Jul  6  2019 demo-write-dnt.pdf
-rw-r--r--   1 edrx edrx   2962 Feb 21  2020 demo-write-dnt.tex
-rw-r--r--   1 edrx edrx   3993 Sep 24 01:44 demo-write-dnt.tex.html
-rw-r--r--   1 edrx edrx   3414 Feb 21  2020 demo-write-single.tex
-rw-r--r--   1 edrx edrx   4763 Sep 24 01:44 demo-write-single.tex.html
-rw-r--r--   2 edrx edrx 203233 Jul 19  2019 extra-comparisons.pdf
-rw-r--r--   1 edrx edrx  18232 Feb 21  2020 extra-comparisons.tex
-rw-r--r--   1 edrx edrx  25934 Sep 24 01:44 extra-comparisons.tex.html
-rw-r--r--   2 edrx edrx  97148 Jul  6  2019 extra-features.pdf
-rw-r--r--   1 edrx edrx  12304 Feb 21  2020 extra-features.tex
-rw-r--r--   1 edrx edrx  16537 Sep 24 01:44 extra-features.tex.html
-rw-r--r--   2 edrx edrx  74691 Jan 17  2020 extra-modules.pdf
-rw-r--r--   1 edrx edrx  11257 Feb 21  2020 extra-modules.tex
-rw-r--r--   1 edrx edrx  18902 Sep 24 01:44 extra-modules.tex.html
-rw-r--r--   1 edrx edrx  11331 Apr 17 23:12 extra-modules.txt
-rw-r--r--   1 edrx edrx  24484 Sep 24 01:44 extra-modules.txt.html
-rw-r--r--   1 edrx edrx   4331 Feb 21  2020 myverbatim.lua
-rw-r--r--   1 edrx edrx   6520 Sep 24 01:44 myverbatim.lua.html
drwxr-xr-x   2 edrx edrx   4096 Sep 24  2015 tests/
-rw-r--r--   1 edrx edrx   4111 Feb 21  2020 tug-slides-ss1.png
-rw-r--r--   1 edrx edrx   5724 Feb 21  2020 tug-slides-sslr2.png
-rw-r--r--   2 edrx edrx 174719 Jul  6  2019 tug-slides.pdf
-rw-r--r--   1 edrx edrx  32183 Feb 21  2020 tug-slides.tex
-rw-r--r--   1 edrx edrx  49817 Sep 24 01:44 tug-slides.tex.html
-rw-r--r--   2 edrx edrx 131615 Jul  6  2019 tugboat-rev2.pdf
-rw-r--r--   1 edrx edrx  29199 Feb 21  2020 tugboat-rev2.tex
-rw-r--r--   1 edrx edrx  37112 Sep 24 01:44 tugboat-rev2.tex.html