[z3-checkins] r5556 - z3/Five/trunk/doc

[faassen at codespeak.net]

Author: faassen
Date: Wed Jul 14 16:44:00 2004
New Revision: 5556

Modified:
   z3/Five/trunk/doc/manual.txt
Log:
Give manual a title.


Modified: z3/Five/trunk/doc/manual.txt
==============================================================================
--- z3/Five/trunk/doc/manual.txt	(original)
+++ z3/Five/trunk/doc/manual.txt	Wed Jul 14 16:44:00 2004
@@ -1,3 +1,7 @@
+===========
+Five Manual
+===========
+
 Introduction
 ------------