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

about summary refs log tree commit diff homepage

path: root/html/adaptingman

blob: 74a3152c3a3465ee1291a19f04374936bd3a4204 (plain)

1
2
3

<?php require('functions.php3');
      hack_html("ProofGeneral/doc/PG-adapting_toc.html","Proof General adapting manual");
?>