Vernac.State
Parsing of vernacular.
type t
=
{
doc : Stm.doc;
sid : Stateid.t;
proof : Proof.t option;
time : bool;
}