diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/proof.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/proof.texinfo b/doc/proof.texinfo index 65afaadc..a825feae 100644 --- a/doc/proof.texinfo +++ b/doc/proof.texinfo @@ -442,7 +442,7 @@ called myass. @item Make a directory myass to put the specific customization and associated files in, called myass @item Edit proof-site.el to add a new case to the 'proof-assistant' variable. -@end +@end itemize |