Commit d11d2b5c authored by MARCHE Claude's avatar MARCHE Claude

release 0.84

parent 1fa91bd7
archive: "https://gforge.inria.fr/frs/download.php/33490/why3-0.83.tar.gz"
checksum: "35f99e5f64939e50ea57f641ba2073ec"
archive: "https://gforge.inria.fr/frs/download.php/file/33976/why3-0.84.tar.gz"
checksum: "286ac2816f539f11e31f84fcafc32120"
......@@ -184,6 +184,9 @@ type notask
(** A phantom type which is used for sessions which don't contain any task. The
only such sessions are sessions that come from {!read_session} *)
exception ShapesFileError of string
exception SessionFileError of string
val read_session : string -> notask session * bool
(** Read a session stored on the disk. It returns a session without any
task attached to goals.
......@@ -236,8 +239,6 @@ type 'key keygen = ?parent:'key -> unit -> 'key
(** type of functions which can generate keys *)
exception OutdatedSession
exception ShapesFileError of string
exception SessionFileError of string
type 'key update_context =
{ allow_obsolete_goals : bool;
......@@ -264,7 +265,7 @@ val update_session : ctxt:'key update_context -> 'a session ->
the third result.
raises [OutdatedSession] if the session is obsolete and
[allow_obsolete] is false]
[allow_obsolete] is false
*)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment