6 Commits (68dd0706a8c16caaf7dcf09fd2ed22aa0c5cc124)

Author	SHA1	Message	Date
Mike Gerwitz	652465a0a0	tools/strip: Add utility	2017-07-05 13:52:06 -04:00
Mike Gerwitz	e06759dcd0	Add missing format conversion/compilation tools	2017-04-06 23:28:38 -04:00
Mike Gerwitz	9669b80536	Adjust tools/vergen for our tagging scheme ... We use a `v' prefix. * tools/vergen (version): Recognize `v'-prefixed tags.	2016-11-15 12:26:38 -05:00
Mike Gerwitz	3433ff8d5a	Add tools/vergen ... Taken from GNU ease.js. * tools/vergen: Added script.	2016-11-15 12:04:23 -05:00
Mike Gerwitz	1457d72221	Update literate-xsl ... This makes changes necessary to new ref format (which includes arity). * src/graph.xsl: @ref function arity added * src/preproc/expand/expand-sequence.xsl: @ref function arity added * tools/literate-xsl: Submodule updated	2016-07-14 09:15:38 -04:00
Mike Gerwitz	38e147e5e4	Documentation and testing scaffolding	2015-04-16 13:21:22 -04:00