Hi,

as David advised me, I just committed the coq-multiple-file-patch
to cvs head. Compared to the patch from yesterday it fixes the
following points:
- error recovery works
- coq-load-path is handled and recompilation works across
  different directories
- can script comments 

There is a todo list in coq/coq.el with points that I still want
to address.

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to