index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
html
/
htmlshow.phtml
blob: d9cb8b463dc6627eb32c392148ed83b3d9ad6281 (
plain
)
1
2
3
4
5
<?php require('functions.php3'); hack_html($file,$title); footer(); ?>