I don't know. It is a nice peace of code. Maybe we can ask Hendrik to
port it once you have something working.
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 mailing list