Emilio Jesús Gallego Arias <e...@x80.org> writes: > - Isabelle / PIDE understands complete projects; > - reliable async support and integration with external tools; > - better error reporting and handling.
Some more: on the fly checking, real completion, semantic folding; I'm sure experienced Isabelle users can come up with some more tricks. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
