Notes about things to put in docs.

1 files changed, 8 insertions, 0 deletions

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.