aboutsummaryrefslogtreecommitdiff
path: root/ide/coq_commands.ml
AgeCommit message (Expand)Author
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-07-08Completing support for F5=About by adding About to the state-preserving comma...herbelin
2008-05-26remove set printing ... and unset printing ... from template menu as they are...jnarboux
2008-05-25- Nouvelle option "Set Printing Existential Instances" pour forcerherbelin
2007-02-16Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.msozeau
2005-06-03whelp + correction bug affichage de coqidecoq
2004-11-17New command "Print Rewrite HindDb dbname".sacerdot
2004-09-03New command "Add Relation ..." (for the new implementation of setoid_*).sacerdot
2004-07-23"Print Setoids" command added.sacerdot
2004-07-16Nouvelle en-têteherbelin
2004-07-08added commands to idecorbinea
2004-03-16mise a jour des menusmohring
2004-03-15ajout des Print Scopes dans liste commandes sans effetmohring
2004-02-04highlightmarche
2004-02-04search windowcoq
2003-12-30ameliorations coqidecoq
2003-12-12plus de syntaxe v8marche
2003-12-09commandes de coqidemarche
2003-12-08bug de preferencs/font"marche
2003-06-13CoqIDE: undo immediat sur les commandes ne modifiant pas l'etatfilliatr
2003-05-12CoqIde: AccelMap supportmonate
2003-05-07coqide: toolbar/autosavemonate
2003-04-16oubliletouzey
2003-03-15petit oubliletouzey
2003-03-06coqide: fenetre de cmmandes . undo correctmonate
2003-03-05IDE: menu templatesfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 10:10:20 +0000