userman « html - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/html/userman

blob: e8ccc072827f582ea107aa13b55fdb98b08f5746 (plain)

1
2
3

<?php require('functions.php3');
      hack_html("ProofGeneral/doc/ProofGeneral_toc.html","Proof General user manual","userman");
?>