• Guillaume Melquiond's avatar
    Replace the [...] syntax from why3doc by a Markdown-like syntax. · fee45607
    Guillaume Melquiond authored
    Some why3doc comments in the gallery contains "[i,j[", which breaks the
    documentation since it opens a code block that is never closed. The proper
    way to write it is "[\[i,j\[]", which is not only ugly but also
    error-prone.
    
    This commit introduces a Markdown-like syntax for embedded code. It uses
    the backtick as a delimiter: "`[i,j[`". It also supports multi-backticks:
    "you can delimit code using `` `...` ``".
    fee45607
Name
Last commit
Last update
..
core Loading commit data...
driver Loading commit data...
ide Loading commit data...
jessie Loading commit data...
mlw Loading commit data...
parser Loading commit data...
printer Loading commit data...
server Loading commit data...
session Loading commit data...
tools Loading commit data...
transform Loading commit data...
trywhy3 Loading commit data...
util Loading commit data...
why3doc Loading commit data...
why3session Loading commit data...
config.sh.in Loading commit data...