diff options
| author | David Aspinall | 1999-01-12 15:22:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-12 15:22:41 +0000 |
| commit | 383e516fd802d0d8b781aaf6c38064bd34decb5f (patch) | |
| tree | c135ab6807185f3710112f2ed028b65a8a94221d /doc | |
| parent | 0c8a4e029e96287c66b817d653597e70f4353df1 (diff) | |
Mention of continued-input prompt as API guidline.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/notes.txt | 7 |
1 files changed, 7 insertions, 0 deletions
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. + + |