index.shtml « html - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/html/index.shtml

blob: 30b85d8935d5d4286eba991870f9033b7e2ab69e (plain)

1
2
3

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