diff options
| author | David Aspinall | 1998-09-09 14:02:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-09 14:02:46 +0000 |
| commit | f45e4719e7e78d27566cb141f48afccca1e3fd06 (patch) | |
| tree | b1c60befcda607743a068397b03dcb20aceaf952 /doc | |
| parent | a4c0501d4007ad5f2d2f43c2cb5d1d5f137c6618 (diff) | |
Added Id to headers.
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 |