Changeset [3cdeaa17b28a30df5243e196b8ae0d7a3c4e4aab] by Douglas Creager
February 10th, 2009 @ 06:34 PM
Using Markdown for documentation
This patch modifies all of the documentation to use Markdown syntax instead of asciidoc. This also requires adding a build dependency on pandoc (instead of asciidoc and xmlto). In theory, this should allow Github to automatically render the source .md files into HTML output. http://github.com/hst/hst/commit...
Committed by Douglas Creager
- M CMakeLists.txt
- M INSTALL
- M README
- M README.md
- M doc/CMakeLists.txt
- M doc/callouts.xsl
- M doc/csp0.1.md
- M doc/csp0.1.txt
- M doc/csp0.md
- M doc/csp0.txt
- M doc/hst.css
- M doc/tech-overview.md
- M doc/tech-overview.txt
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.