RuleML/deliberation-ruleml — pull request #5 by greenTara (2013-04-13 16:18:21+00:00)
Title: renaming and pretty printing HTML files

pretty-printed some HTML files