From ecb7fa25b913a4a17378344275f727b4ec90c3a6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 16:37:02 +0000
Subject: Notes about things to put in docs.

---
 doc/notes.txt | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 doc/notes.txt

(limited to 'doc')

diff --git a/doc/notes.txt b/doc/notes.txt
new file mode 100644
index 00000000..9edd6529
--- /dev/null
+++ b/doc/notes.txt
@@ -0,0 +1,8 @@
+Notes to include in documentation.
+----------------------------------
+
+
+Why is C-c C-b useful?  Could just use the file to read it one go
+(will we have a command to do this other than via the process?).
+BUT it's nice because it stops exactly where a proof fails, so you can
+continue development from there.
-- 
cgit v1.2.3