aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/texmacspp.ml
Commit message (Expand)AuthorAge
* Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"Gravatar Maxime Dénès2016-11-18
* [stm] Remove STM-related vernacularsGravatar Emilio Jesus Gallego Arias2016-11-17
* Add command 'Set foo Append "bar"' for appending to an option (bug #5109).Gravatar Guillaume Melquiond2016-10-01
* Fix bug #4798: compat notations should not modify the parser.Gravatar Pierre-Marie Pédrot2016-09-29
* Adding ability to put any pattern in binders, prefixed by a quote.Gravatar Daniel de Rauglaudre2016-06-27
* Adding an only printing flag to notations.Gravatar Pierre-Marie Pédrot2016-06-07
* Move serialization functions out of StmGravatar Emilio Jesus Gallego Arias2016-06-02