diff options
| author | David Aspinall | 2000-10-02 15:14:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-10-02 15:14:36 +0000 |
| commit | 4ad8fa5972b9b91cdb8a731c969fbb1d2fdf8215 (patch) | |
| tree | b554675970dcbff3c5312270c7ddbf35b9d804f9 /doc | |
| parent | 61e24663f3279a183ca73c408fc2fb9149365644 (diff) | |
Subtitle caps
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/PG-adapting.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 0529d391..f97e76a3 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -93,7 +93,7 @@ END-INFO-DIR-ENTRY @title Adapting Proof General @subtitle Proof General --- Organize your proofs! @sp 1 -@subtitle Adapting Proof General @value{version} to New Provers +@subtitle Adapting Proof General @value{version} to new provers @subtitle @value{last-update} @subtitle @b{www.proofgeneral.org} @@ -108,7 +108,7 @@ END-INFO-DIR-ENTRY @c so we take it out for now. @c Ideally would like some way of generating eps from @c the .jpg file. -@c image{ProofGeneralPortrait} +@image{ProofGeneralPortrait} @end ifset @end iftex @author David Aspinall with T. Kleymann |