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