From ec0db037f54572aae7ab6a0301f92875771654bb Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 1 Oct 1999 12:58:26 +0000
Subject: documentation interface

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@90 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/states.mli | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'library/states.mli')

diff --git a/library/states.mli b/library/states.mli
index d648a68ce..4ac371227 100644
--- a/library/states.mli
+++ b/library/states.mli
@@ -1,9 +1,10 @@
 
 (* $Id$ *)
 
-(*s States of the system. *)
-
-type state
+(*s States of the system. In that module, we provide functions to get
+  and set the state of the whole system. Internally, it is done by
+  freezing the states of both [Lib] and [Summary]. We provide functions 
+  to write and restore state to and from a given file. *)
 
 val intern_state : string -> unit
 val extern_state : string -> unit
-- 
cgit v1.2.3