-
MARCHE Claude authored
Allows to replay Coq proofs correctly There is still a problem with goal names containing spaces such as those generated by VC generator
4eacde07
Allows to replay Coq proofs correctly There is still a problem with goal names containing spaces such as those generated by VC generator