README: add more `code` formatting
[model-checker.git] / doc / Markdown /
2013-06-02 Brian NorrisMarkdown: add Markdown tool