[photran] Photran and PTP

[Jonathan Chu <jrchu@xxxxxxx>]

Hi,

I don't see this anywhere, but is there any development with Photran and 
PTP. From what I've heard, there used to be something happening and 
Photran split off as a separate development project. I would like to 
know if this was, is, or will be some sort of integration with Photran 
and PTP.

Jonathan