Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Put all plugins behind an "API". | 2017-06-07 | |
* | Merge the ssr plugin. | 2017-06-06 | |
* | Merge branch 'trunk' into located_switch | 2017-05-24 | |
|\ | |||
| * | Enable more warnings, and add -warn-error configure flag | 2017-04-27 | |
* | | [location] Remove Loc.ghost. | 2017-04-25 | |
|/ | |||
* | [camlpX] Remove camlp4 compat layer. | 2017-04-07 | |
* | [safe-string] Enable -safe-string ! | 2017-03-14 | |
* | [stm] Break stm/toplevel dependency loop. | 2017-02-15 | |
* | Merge branch 'v8.6' | 2016-12-07 | |
|\ | |||
| * | [merlin] Adjust merlin for ide. | 2016-11-30 | |
* | | updating ".merlin" file | 2016-11-03 | |
|/ | |||
* | [merlin] Fix .merlin STM includes. | 2016-06-25 | |
* | Adding a new folder corresponding to the low-level part of the pretyper | 2015-02-27 | |
* | Clean up the .merlin | 2014-04-03 | |
* | Fixup make clean and .merlin | 2014-01-18 | |
* | 'Pretty' printer for wf_paths | 2014-01-11 | |
* | Goodbye typerex, Hello merlin | 2014-01-09 |