From: drl7x <drl7x>
Date: Sun, 27 Apr 2003 22:27:36 +0000 (+0000)
Subject: Updated the manual.
X-Git-Tag: splint-3_1_1~9
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/1fe380758e91c3ec4dec7ace74398ab6ff520039

Updated the manual.

All flags supported by Splint are now listed.  Also I fixed the section on numabstact types.
---

diff --git a/doc/manual.doc b/doc/manual.doc
index 419e2fe..891b6c0 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ