The Coq mailing list

["Jean.Duprat" <duprat AT ens-lyon.fr>]

Hi,

We want to filter the output file that coqtop sends to the standard output.
Our goal  is to select some hypotheses in the environment according to 
the fact they contain
some words.
Our first problem is to split the output into hypotheses. The carriage 
return seems not sufficient
since a long hypothesis occupies several lines.
Is there a location where we can find the syntax of the output ?
Thanks,

   Jean Duprat