On 03/12/2018 11.57, Emilio Jesús Gallego Arias wrote: > In the first case, my opinion (and the one of quite a few of my > colleagues) is yes, clearly ahead.
But can you give concrete examples of extra features that they have? And, re the coupling, are these worth being stuck with a single editor?
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel