Commit 828e386d authored by MARCHE Claude's avatar MARCHE Claude

itp

parent 62df2cae
......@@ -67,7 +67,7 @@ val add_file_to_session :
[fname] and add the resulting theories to the session [s] *)
val reload_session_files : session -> unit
(** reload the given session with the given environnement :
(** reload the given session with the given environment :
- the files are reloaded
- apply again the transformation
- if some goals appear try to find to which goal
......
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