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