-
Akim Demaille authored
* doc/builtins.texi: New. * doc/havm.texi: Use it. * src/Opt.hs (Eq Flag): Fix the definition of (==) for Display. (version_message): New. Remove a few extra $.
5a6e3bc2
To find the state of this project's repository at the time of any of these versions, check out the tags.