aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/nanoPG.ml
Commit message (Expand)AuthorAge
* 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