-
Guillaume Melquiond authored
Use the actual html generated by why3session rather than an image for the html version of the documentation.
d65803d2
Use the actual html generated by why3session rather than an image for the html version of the documentation.