From 383e516fd802d0d8b781aaf6c38064bd34decb5f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Jan 1999 15:22:41 +0000
Subject: Mention of continued-input prompt as API guidline.

---
 doc/notes.txt | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/notes.txt b/doc/notes.txt
index dfc585d9..eef0038e 100644
--- a/doc/notes.txt
+++ b/doc/notes.txt
@@ -196,3 +196,10 @@ requirements for a proof assistant interface.
 
 
 
+Example of API design guidlines
+===============================
+
+1. Use a different prompt for continued lines during input
+communication.  Helps parsing output.
+
+
-- 
cgit v1.2.3