[Doc] Missing href for (standard) theories
From a side-user point of view, who wants to refer to standard theory foo.Bar
, the only available
« stable » reference currently is http://why3.lri.fr/stdlib/foo.html
-- which indeed lacks some Bar
reference.
Proposal: in why3-doc generator, add something like #theory:<name>
reference that one may points to, in addition to the currently #<name>_<nnn>
non-stable one.