The code in generic/proof-tree appears to rely on proof shell modes. Is the `prooftree' tool in common use among Coq users?
-- Paul _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
