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 <st...@stecksoft.com>: > 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 _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
