FAQ « html - proof-general - Emacs plugins for proof management systems

about summary refs log tree commit diff

path: root/html/FAQ

blob: c022d4010cd749d9d95abaa97f3ecfe9333c0aed (plain)

<?php require('functions.php3');
      fileshowmarkup("ProofGeneral/FAQ",
		     "Frequently Asked Questions about using Proof General");
?>