BBedit Language Modules from the ProB Team
This project contains various BBEdit codeless language module for formal method formalisms supported by the ProB tool. It also includes a language module for Prolog. All language modules can definitely be improved and contributions and suggestions are welcome.
The files were built from the BBEedit Template.
The files equires BBEdit 8.0 or higher. To install, copy the corresponding file(s) ending with .plist to:
- ~/Library/Application Support/BBEdit/Language Modules/
- or /Users/leuschel/Dropbox/Application Support/BBEdit/Language Modules in case you sync with DropBox
and relaunch BBEdit.