diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/proof.texinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/proof.texinfo b/doc/proof.texinfo index a825feae..fd3a3b29 100644 --- a/doc/proof.texinfo +++ b/doc/proof.texinfo @@ -1,4 +1,7 @@ \input texinfo @c -*-texinfo-*- +@c +@c $Id$ +@c @c %**start of header @setfilename proof.info @settitle Generic Proof Assistant Mode |