Fix Highlight Manager on set to defaults
Fix ensureNotHighlighting by setting the JDT fo...
Handle syncing between JML highlighting setting...
Actually make HighlightingFoldingStructureProvi...
Very basic JML syntax highlighting, but current...
Externalize strings in folding preference block
Add preference page for JML folding provider
Add a folding provider to wrap another folding ...
Add defaults for highlighting preferences
Remove unused imports; minor changes to Highlig...
Merge highlighting settings in from HMCSummer20...
Merge document partitioner in from HMCSummer201...
Create branch of OpenJMLUI for Eclipse syntax h...
Create directory for OpenJMLUI branches
Fixed some issues with document partitioning
Added JML document partitioner. As a side-effec...