Skip to content

Latest commit

 

History

History
17 lines (11 loc) · 762 Bytes

README.md

File metadata and controls

17 lines (11 loc) · 762 Bytes

bbedit-prob

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.

Installing

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.