search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Support for ML files #9

Closed ggrov closed 11 years ago

ggrov commented 11 years ago

Add support for ML files

andriusvelykis commented 11 years ago

Bundling ML-Dev with Isabelle/Eclipse IDE since 4bd3f9c11940e369d786721693d5a55092206e1d

ML-Dev is a Standard ML editor for Eclipse developed by Rahul Narain. When opening SML files, they are opened with ML-Dev editor, which provides syntax highlighting, parsing, outline, etc. It has some issues with parsing certain Isabelle SML parts (e.g. antiquotations) but in general works quite well for now..

ML-Dev is available from its own website: http://github.com/andriusvelykis/ml-dev

ML-Dev is now bundled in the standalone Isabelle/Eclipse IDE. If you are using the update site to install Isabelle/Eclipse, install ML-Dev from its update site in addition to Isabelle/Eclipse plug-ins: http://andriusvelykis.github.com/ml-dev/updates/nightly/