drwxr-xr-x 4 edrx edrx 4096 Jun 6 2020 ./ drwxr-xr-x 222 edrx edrx 32768 Jan 18 20:31 ../ -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 53305 Jan 18 20:31 2018dednat6-extras.tex.html -rw-r--r-- 1 edrx edrx 462 Feb 21 2020 ChangeLog -rw-r--r-- 1 edrx edrx 837 Jan 18 20:31 ChangeLog.html -rw-r--r-- 1 edrx edrx 1782 Feb 21 2020 Makefile -rw-r--r-- 1 edrx edrx 2622 Jan 18 20:31 Makefile.html -rw-r--r-- 1 edrx edrx 1215 Feb 21 2020 README.md -rw-r--r-- 1 edrx edrx 1999 Jan 18 20:31 README.md.html -rw-r--r-- 1 edrx edrx 58 Nov 6 02:40 VERSION -rw-r--r-- 1 edrx edrx 411 Jan 18 20:31 VERSION.html drwxr-xr-x 3 edrx edrx 4096 Jan 18 20:31 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 6203 Jan 18 20:31 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 5965 Jan 18 20:31 dednat6load.lua.html -rw-r--r-- 2 edrx edrx 14362 Jun 6 2020 demo-core.pdf -rw-r--r-- 1 edrx edrx 2542 Jun 6 2020 demo-core.tex -rw-r--r-- 1 edrx edrx 3896 Jan 18 20:31 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 5957 Jan 18 20:31 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 5383 Jan 18 20:31 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 3699 Jan 18 20:31 demo-preproc.tex.html -rw-r--r-- 1 edrx edrx 457 Feb 21 2020 demo-repl.tex -rw-r--r-- 1 edrx edrx 1322 Jan 18 20:31 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 5606 Jan 18 20:31 demo-tikz.tex.html -rw-r--r-- 2 edrx edrx 77199 Mar 27 2020 demo-underbrace.pdf -rw-r--r-- 1 edrx edrx 3564 Mar 27 2020 demo-underbrace.tex -rw-r--r-- 1 edrx edrx 6143 Jan 18 20:31 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 3977 Jan 18 20:31 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 4747 Jan 18 20:31 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 23262 Jan 18 20:31 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 15668 Jan 18 20:31 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 16428 Jan 18 20:31 extra-modules.tex.html -rw-r--r-- 1 edrx edrx 11331 Apr 17 2020 extra-modules.txt -rw-r--r-- 1 edrx edrx 23003 Jan 18 20:31 extra-modules.txt.html -rw-r--r-- 1 edrx edrx 4331 Feb 21 2020 myverbatim.lua -rw-r--r-- 1 edrx edrx 6333 Jan 18 20:31 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 44421 Jan 18 20:31 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 34503 Jan 18 20:31 tugboat-rev2.tex.html