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

Reply via email to