the list of the registered users.
let user_of_session sid = let res,_,_ = List.assoc sid !session_tbl in res
let user_of_session sid = let res,_,_ = List.assoc sid !session_tbl in res
+let get_users () = List.map fst !user_tbl
+
let create_session uid =
let status = new MatitaEngine.status (Some uid) "cic:/matita" in
let history = [status] in
let create_session uid =
let status = new MatitaEngine.status (Some uid) "cic:/matita" in
let history = [status] in
val user_of_session : session_id -> string
val user_of_session : session_id -> string
+val get_users : unit -> string list
+
val create_session : string -> session_id
val get_session_owner : session_id -> string
val create_session : string -> session_id
val get_session_owner : session_id -> string