1 2 3
<!-- This is the entry point to the Proof General web pages --> <!--#include file="counter.php3"--> <!--#include file="index.php"-->