type status = {
aliases: DisambiguateTypes.environment; (** disambiguation aliases *)
+ moo_content_rev: string list; (*CSC: a TacticAst.command list would be better *)
proof_status: proof_status;
options: options;
objects: (UriManager.uri * string) list;