I don't know. It is a nice peace of code. Maybe we can ask Hendrik to port it once you have something working.
P. 2016-05-12 18:22 GMT+02:00 Paul A. Steckler <[email protected]>: > 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 > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
