diff options
| author | David Aspinall | 2000-08-28 12:54:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-08-28 12:54:46 +0000 |
| commit | f6e17825a23b5d4601649cec94f90f9593a147c9 (patch) | |
| tree | 75462d1eb3850a2dc4a88575a36707dffc4ca69b /doc | |
| parent | 34ac266f4af60e78c407f971deb483d79f5964ae (diff) | |
Missing full stop
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 3484f2f2..e28a6a1f 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -739,7 +739,7 @@ to write regular expressions, you can make: @b{Your Proof General} for your favourite proof assistant.@* For more details of how to make Proof General work with another proof assistant, -see the accompanying manual @i{Adapting Proof General} +see the accompanying manual @i{Adapting Proof General}. @end itemize Note that there is some variation between the features supported by different instances of Proof General. The main variation is proof by |