Microdown integration #25
Description
Extend ViennaDoc so that VDM-SL can be included and executed in a Markdown file.
The benefit of this approach is we can render Markdown using Microdown in Pharo, and can also embed animation and diagrams as scripts like Cloudly WalkThrough.