aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/nanoPG.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Turning CoqIDE preferences into new style.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Protecting from a List.nth when applying a command, e.g. C-w, on no CoqIDE bu...Gravatar Hugo Herbelin2014-12-07
* nanoPG: when the cursor moves, scroll to make it appear on screenGravatar Enrico Tassi2014-04-09
* nanoPG: takeover keypress only when text view has focusGravatar Enrico Tassi2014-04-09
* nanoPG: better copy/pasteGravatar Enrico Tassi2014-03-13
* [nanoPG]: emacs like copy/pasteGravatar Enrico Tassi2014-02-17
* nanoPG: compete rewriting with more Emacs/PG like featuresGravatar Enrico Tassi2014-01-05
* Silence compilation warning by avoiding some deprecated constructs.Gravatar Guillaume Melquiond2013-12-03
* Add a (very minimal) Proof General mode to CoqIDEGravatar gareuselesinge2013-08-08