I think this would be the right strategy; Hendrik has been pretty good at keeping it up to until this point :)
On 2016-05-12 12:33, Pierre Courtieu wrote: > 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 >
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel