drwxr-xr-x 2 edrx edrx 4096 Dec 31 00:14 ./
drwxr-xr-x 4 edrx edrx 4096 Dec 31 00:14 ../
-rw-r--r-- 1 edrx edrx  945 Aug 26  2015 Rect-tests
-rw-r--r-- 1 edrx edrx 1404 Dec 31 00:14 Rect-tests.html
-rw-r--r-- 1 edrx edrx  237 Aug 28  2015 abbrevs
-rw-r--r-- 1 edrx edrx  657 Dec 31 00:14 abbrevs.html
-rw-r--r-- 1 edrx edrx  494 Sep  5  2015 asciipicture
-rw-r--r-- 1 edrx edrx  951 Dec 31 00:14 asciipicture.html
-rw-r--r-- 1 edrx edrx  285 Sep  5  2015 copyopts
-rw-r--r-- 1 edrx edrx  686 Dec 31 00:14 copyopts.html
-rw-r--r-- 1 edrx edrx  873 Aug 30  2015 diagtex-0
-rw-r--r-- 1 edrx edrx 1357 Dec 31 00:14 diagtex-0.html
-rw-r--r-- 1 edrx edrx 1533 Aug 30  2015 diagtex-1
-rw-r--r-- 1 edrx edrx 2062 Dec 31 00:14 diagtex-1.html
-rw-r--r-- 1 edrx edrx  764 Aug 28  2015 eoo
-rw-r--r-- 1 edrx edrx 1239 Dec 31 00:14 eoo.html
-rw-r--r-- 1 edrx edrx  682 Sep  5  2015 lpicture
-rw-r--r-- 1 edrx edrx 1116 Dec 31 00:14 lpicture.html
-rw-r--r-- 1 edrx edrx 1396 Sep  5  2015 luawithrects-1
-rw-r--r-- 1 edrx edrx 1857 Dec 31 00:14 luawithrects-1.html
-rw-r--r-- 1 edrx edrx 1669 Sep  5  2015 luawithrects-2
-rw-r--r-- 1 edrx edrx 2142 Dec 31 00:14 luawithrects-2.html
-rw-r--r-- 1 edrx edrx  829 Sep  5  2015 luawithrects-3
-rw-r--r-- 1 edrx edrx 1314 Dec 31 00:14 luawithrects-3.html
-rw-r--r-- 1 edrx edrx 2340 Sep  4  2015 mixedpic-1
-rw-r--r-- 1 edrx edrx 2827 Dec 31 00:14 mixedpic-1.html
-rw-r--r-- 1 edrx edrx 4966 Sep  5  2015 mixedpic-2
-rw-r--r-- 1 edrx edrx 5465 Dec 31 00:14 mixedpic-2.html
-rw-r--r-- 1 edrx edrx 1737 Sep  5  2015 mixedpic-3
-rw-r--r-- 1 edrx edrx 2245 Dec 31 00:14 mixedpic-3.html
-rw-r--r-- 1 edrx edrx  565 Sep  5  2015 mixedpic-J-1
-rw-r--r-- 1 edrx edrx  986 Dec 31 00:14 mixedpic-J-1.html
-rw-r--r-- 1 edrx edrx 2711 May  9  2017 mixedpic-cubes
-rw-r--r-- 1 edrx edrx 3210 Dec 31 00:14 mixedpic-cubes.html
-rw-r--r-- 1 edrx edrx  548 Sep  5  2015 mixedpic-threefour
-rw-r--r-- 1 edrx edrx  969 Dec 31 00:14 mixedpic-threefour.html
-rw-r--r-- 1 edrx edrx 2044 Sep  5  2015 mixedpic-zsets-1
-rw-r--r-- 1 edrx edrx 2485 Dec 31 00:14 mixedpic-zsets-1.html
-rw-r--r-- 1 edrx edrx  261 Aug 28  2015 parse
-rw-r--r-- 1 edrx edrx  674 Dec 31 00:14 parse.html
-rw-r--r-- 1 edrx edrx  948 Aug 28  2015 rect-0
-rw-r--r-- 1 edrx edrx 1402 Dec 31 00:14 rect-0.html
-rw-r--r-- 1 edrx edrx  881 Aug 28  2015 rect-ded
-rw-r--r-- 1 edrx edrx 1483 Dec 31 00:14 rect-ded.html
-rw-r--r-- 1 edrx edrx  353 Aug 28  2015 rect-synt
-rw-r--r-- 1 edrx edrx  762 Dec 31 00:14 rect-synt.html
-rw-r--r-- 1 edrx edrx  412 Aug 28  2015 stacks
-rw-r--r-- 1 edrx edrx  818 Dec 31 00:14 stacks.html
-rw-r--r-- 1 edrx edrx 1066 Sep  6  2015 treetex-1
-rw-r--r-- 1 edrx edrx 1577 Dec 31 00:14 treetex-1.html
-rw-r--r-- 1 edrx edrx  592 Sep  6  2015 treetex-2
-rw-r--r-- 1 edrx edrx 1063 Dec 31 00:14 treetex-2.html
-rw-r--r-- 1 edrx edrx 3326 Sep  5  2015 ubs-1
-rw-r--r-- 1 edrx edrx 3915 Dec 31 00:14 ubs-1.html
-rw-r--r-- 1 edrx edrx 2589 Sep  5  2015 ubs-2
-rw-r--r-- 1 edrx edrx 3130 Dec 31 00:14 ubs-2.html
-rw-r--r-- 1 edrx edrx  327 Sep  5  2015 ubs-def
-rw-r--r-- 1 edrx edrx  758 Dec 31 00:14 ubs-def.html
-rw-r--r-- 1 edrx edrx  817 Sep  5  2015 v-1
-rw-r--r-- 1 edrx edrx 1304 Dec 31 00:14 v-1.html
-rw-r--r-- 1 edrx edrx  150 Sep  5  2015 v-2
-rw-r--r-- 1 edrx edrx  544 Dec 31 00:14 v-2.html
-rw-r--r-- 1 edrx edrx  912 Sep  5  2015 v-3
-rw-r--r-- 1 edrx edrx 1333 Dec 31 00:14 v-3.html
-rw-r--r-- 1 edrx edrx  918 Sep  4  2015 zha-connectives
-rw-r--r-- 1 edrx edrx 1536 Dec 31 00:14 zha-connectives.html
-rw-r--r-- 1 edrx edrx 2005 Sep  5  2015 zha-fromspec
-rw-r--r-- 1 edrx edrx 2417 Dec 31 00:14 zha-fromspec.html
-rw-r--r-- 1 edrx edrx 1167 Sep  4  2015 zha-generators
-rw-r--r-- 1 edrx edrx 1625 Dec 31 00:14 zha-generators.html
-rw-r--r-- 1 edrx edrx 8801 Sep  4  2015 zha-shortoperators
-rw-r--r-- 1 edrx edrx 9246 Dec 31 00:14 zha-shortoperators.html
-rw-r--r-- 1 edrx edrx 2271 Sep  5  2015 zha-tostring
-rw-r--r-- 1 edrx edrx 2740 Dec 31 00:14 zha-tostring.html
-rw-r--r-- 1 edrx edrx 1208 Sep  4  2015 zha-walls
-rw-r--r-- 1 edrx edrx 1775 Dec 31 00:14 zha-walls.html
-rw-r--r-- 1 edrx edrx 1605 Sep  5  2015 zhafrompoints
-rw-r--r-- 1 edrx edrx 2178 Dec 31 00:14 zhafrompoints.html