diff options
author | 1998-09-03 14:25:26 +0000 | |
---|---|---|
committer | 1998-09-03 14:25:26 +0000 | |
commit | 30f26d7abbde4fa7abacda89917bc170660a917e (patch) | |
tree | 09e1e741e9d1408fdafa6c87d07b94dd5d8aa5c5 /doc | |
parent | 278cb8f866cfb2872e054d0e548792aa7fa077a4 (diff) |
Began notes at end about adding new assistant support
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 |