Re: pushed prooftree changes

[Hendrik Tews]

> we have coq 8.6 in sid, since a few days. -Ralf.

I know, 8.5 made a difference for prooftree, 8.6 doesn't. I've
tested Proof General and prooftree with 8.6 and it runs fine.

Hendrik