index.shtml « html - proof-general - Emacs plugins for proof management systems

about summary refs log tree commit diff

path: root/html/index.shtml

blob: 06e59a0d82af9917307cab5d695029a37879a70e (plain)

1
2
3

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