aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2003-03-05CoqIde: Install.ide Revert bugfix.monate
2003-03-04coqide: bugfixmonate
2003-03-04belle image de coq (en png en plus)marche
2003-03-04coqide: partage -debug avec coqtopmonate
2003-03-04IDE: majmonate
2003-03-03CoqIDE: copy/pastemonate
2003-03-03fichiers sur la ligne de commande passes a Coq IDEfilliatr
2003-03-03IDE:colorationfilliatr
2003-03-03IDE: debug=falsefilliatr
2003-03-03coqide: preferences support and optimizationsmonate
2003-02-27coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...monate
2003-02-26coqide: preliminary support for mnemonics. Edit menu. Context help now works ...monate
2003-02-25ide:copy/paste fixmonate
2003-02-24coqide : aide sur selection ou sur motmonate
2003-02-24aide contextuelle / menus compilation + print + exportfilliatr
2003-02-24ide changesmonate
2003-02-24ctrl-k like Emacs in coqidemonate
2003-02-24idemonate
2003-02-24*** empty log message ***monate
2003-02-21CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)filliatr
2003-02-11Undo dans Coq IDEfilliatr
2003-02-04interface GTK2 experimentalemonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 05:09:08 +0000