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