path: root/html/eproofe

<?php include('eeproof.php'); ?>
<?php
  /* This file needs some extra characters in it for apache to work its magic.
     Things work fine as link to index.html, but it's tricky to include links
     in cvs. */ ?>