From f1cd3b791824c8ef9af58f38df637744afb033f5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Nov 1998 14:44:01 +0000
Subject: Began documentation of options, plus other things

---
 doc/notes.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/notes.txt')

diff --git a/doc/notes.txt b/doc/notes.txt
index 9b91c191..f44cb20c 100644
--- a/doc/notes.txt
+++ b/doc/notes.txt
@@ -12,7 +12,7 @@ Suggestion for outline of improved documentation.
  confusing to the users, at least!
  
  1. Introduction						[da]
-	1.1  Description
+	1.1  Quick start guide
 	1.2  Feature list, xref'd to later chaps.
 	1.2  Supported Proof Assistants, xref'd too.
 	      Support for new instances, xref'd to later chaps.
-- 
cgit v1.2.3