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

about summary refs log tree commit diff homepage

path: root/html/index.shtml

blob: d4bdff95ddb842d3c17273ae7895ec37fc2f5669 (plain)

1
2
3

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