We plan to start a project based on proofpower. So we want to have a look at 
the source code, in particular those ml files. I wonder that if there is a 
recommended editor which can access/organise the source code for a developer. 
Currently I'm switching between JEditor and vi in xterm, neither of them is 
ideal. Because JEditor can't show the especial characters properly and vi lacks 
of syntax highlighting and project organising.  Any suggestion ?

Thanks in advance.

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Proofpower mailing list

Reply via email to