-
Alexandre Duret-Lutz authored
space before colon, and do not output the top-level formula using Spin's syntax.
16fd8268
To find the state of this project's repository at the time of any of these versions, check out the tags.
space before colon, and do not output the top-level formula using Spin's syntax.