| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-01-25 | wib | Peter Sewell | |
| 2017-01-25 | kathy, peter: fixing sail-mode startup | Peter Sewell | |
| 2016-09-14 | Fix mistyped identifier in emacs mode | Kathy Gray | |
| 2016-07-26 | Fix type abbreviation support oversight | Kathy Gray | |
| 2016-02-23 | Make small tweaks to emacs mode | Kathy Gray | |
| 2016-02-11 | fix some bugs in emacs mode for sail; mostly workable now although there's ↵ | Kathy Gray | |
| some annoying indenting on one line functions | |||
| 2014-09-09 | Get more constraints resolving in power.sail | Kathy Gray | |
| 2014-09-05 | Add a sail mode for emacs, based heavily on tuareg | Kathy Gray | |
| It doesn't get everything right, but it's better than the ocaml mode or c mode colorings | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |