aboutsummaryrefslogtreecommitdiff
path: root/ide/nanoPG.ml
AgeCommit message (Expand)Author
2019-04-30Renaming nanoPG to microPG.Hugo Herbelin
2019-04-30CoqIDE nanoPG: adding keys to go the start/end of file (w/o evaluating).Hugo Herbelin
2019-04-30NanoPG doc: telling that char, word, sentence, line have their unicode meaning.Hugo Herbelin
2019-04-30Cosmetic in nanoPG.ml: fixing a wrong indentation.Hugo Herbelin
2019-04-30CoqIDE: Adding MacOS X support for Meta-based nano-PG keys.Hugo Herbelin
2019-04-30NanoPG: expanding the notation C- and M- to Ctrl- and Meta-.Hugo Herbelin
2019-04-30Fix a nanoPG bug: was accepting unexpectedly extra modifier keys pressed.Hugo Herbelin
2019-03-19CoqIDE: Change name of module: Sourceview2 -> Sourceview3Hugo Herbelin
2018-11-11CoqIDE: Do not rebind up and down in microPG mode.Hugo Herbelin
2018-10-15Correct some spelling errorsBenjamin Barenblat
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-08-16Turning CoqIDE preferences into new style.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-12-07Protecting from a List.nth when applying a command, e.g. C-w, on no CoqIDE bu...Hugo Herbelin
2014-04-09nanoPG: when the cursor moves, scroll to make it appear on screenEnrico Tassi
2014-04-09nanoPG: takeover keypress only when text view has focusEnrico Tassi
2014-03-13nanoPG: better copy/pasteEnrico Tassi
2014-02-17[nanoPG]: emacs like copy/pasteEnrico Tassi
2014-01-05nanoPG: compete rewriting with more Emacs/PG like featuresEnrico Tassi
2013-12-03Silence compilation warning by avoiding some deprecated constructs.Guillaume Melquiond
2013-08-08Add a (very minimal) Proof General mode to CoqIDEgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 15:17:30 +0000