-
POTTIER Francois authored
Documentation: removed the type [stream], the function [stack], and the link to [MenhirLib.General]. Documentation: updated some links to point to the git repository instead of Menhir's Web page.
0026d982
Documentation: removed the type [stream], the function [stack], and the link to [MenhirLib.General]. Documentation: updated some links to point to the git repository instead of Menhir's Web page.