aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq_commands.ml
Commit message (Expand)AuthorAge
* remove set printing ... and unset printing ... from template menu as they are...Gravatar jnarboux2008-05-26
* - Nouvelle option "Set Printing Existential Instances" pour forcerGravatar herbelin2008-05-25
* Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.Gravatar msozeau2007-02-16
* whelp + correction bug affichage de coqideGravatar coq2005-06-03
* New command "Print Rewrite HindDb dbname".Gravatar sacerdot2004-11-17
* New command "Add Relation ..." (for the new implementation of setoid_*).Gravatar sacerdot2004-09-03
* "Print Setoids" command added.Gravatar sacerdot2004-07-23
* Nouvelle en-têteGravatar herbelin2004-07-16
* added commands to ideGravatar corbinea2004-07-08
* mise a jour des menusGravatar mohring2004-03-16
* ajout des Print Scopes dans liste commandes sans effetGravatar mohring2004-03-15
* highlightGravatar marche2004-02-04
* search windowGravatar coq2004-02-04
* ameliorations coqideGravatar coq2003-12-30
* plus de syntaxe v8Gravatar marche2003-12-12
* commandes de coqideGravatar marche2003-12-09
* bug de preferencs/font"Gravatar marche2003-12-08
* CoqIDE: undo immediat sur les commandes ne modifiant pas l'etatGravatar filliatr2003-06-13
* CoqIde: AccelMap supportGravatar monate2003-05-12
* coqide: toolbar/autosaveGravatar monate2003-05-07
* oubliGravatar letouzey2003-04-16
* petit oubliGravatar letouzey2003-03-15
* coqide: fenetre de cmmandes . undo correctGravatar monate2003-03-06
* IDE: menu templatesGravatar filliatr2003-03-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 09:02:59 +0000