Re: [PG-devel] overlapping calls to proof-shell-filter

[Stefan Monnier]

>    I think this deserves an Emacs bug report.
> see http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13400

Thanks,


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