100644 blob 946396e7f27aedff2a91ec25fe8a7f9a816ba673	.editorconfig
100644 blob f3c4dcd92ddf8e4d1b6c5b9541eb3bf5abf8a8f2	.gitignore
100644 blob 350aeaed9d2eb9f42e7c2ca9e9ff7f0a5c2aa609	CMakeLists.txt
100644 blob e514d05259dfbbb3bf48b68a20636f3ffeffe115	LICENSE
100644 blob 1b2d51041b879efb98149ccffd867af23e8a9ec9	Makefile
100644 blob bbfe06cd3c8bb08c79603547558cbc96433ff70b	Makefile.old
100644 blob 514ed30c0b2a95d1aa1eb54493f07cc31e507800	README.md
100644 blob 3ba0d1561429c3dc8b58bc3d05f6ddc5ea746200	alternative-html-blocks.txt
040000 tree 9e7a3eacaff0d134ca095ca148aec0a7e7329653	data
100644 blob bb264605c631b80b109306e96a8dc4b540ea07c8	dingus.html
040000 tree 726aa10f2ec14f59ba68273891e3e8c8a3bca068	js
100644 blob 06716e1e8a24bcbb1fa22d28a981fd337a6f2512	leakcheck.md
040000 tree 9e643310ff9b4ce0e65451ee1943145f08333ec7	man
100644 blob 4c0863431b8aeb64018f88967fe744d639a9fc32	mkcasefold.pl
100644 blob 09f0ba147c9096ace0a6d17ac3427c06e5a95b72	runtests.pl
100644 blob 21f2633d71455ce8486a1e486a2d41e72a2c02d4	spec.txt
100755 blob 6bf366f97f0d2783e62c5017e2ccb32be3b8af77	spec2js.js
100644 blob 313f86f42bbb3c0393654bdc9ccb43415f43ead5	spec2md.pl
100755 blob 67c8fa5ba8728c2fa804fe3fb779b20b5e939e63	specfilter.hs
040000 tree 1c5a8b10c4e7fe2b486e7ad5ab1cc0a36d105866	src
100644 blob f9723c64dc1ef920f4564661cf6a906a49635265	template.html
100644 blob d083b7234a4db53b89acd00f9082999fb2ac81cd	template.tex