From 30f26d7abbde4fa7abacda89917bc170660a917e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 3 Sep 1998 14:25:26 +0000
Subject: Began notes at end about adding new assistant support

---
 doc/proof.texinfo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
 
 
-- 
cgit v1.2.3