aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Ajout de la gestion de Local et Global pour les options (au sens deGravatar aspiwack2009-08-14
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* Added "etransitivity".Gravatar herbelin2009-08-03
* Improved parameterization of Coq:Gravatar herbelin2009-08-02
* Completing support for F5=About by adding About to the state-preserving comma...Gravatar herbelin2009-07-08
* Miscellaneous practical commits: Gravatar herbelin2009-06-29
* remove some unused functions (which are part of a soon-to-be obsoleteGravatar vgross2009-06-22
* clearing unused functionsGravatar vgross2009-06-22
* Simplifying the call to print_no_goals and not calling it when no goalGravatar herbelin2009-06-11
* Change in UI behaviour : proof folding is now done by double clicking. Delay isGravatar vgross2009-06-08
* Partial simplification of undo mechanism, relying only on Courtieu'sGravatar herbelin2009-06-07
* sane behaviour for copy/paste operations (the code is still insane, though)Gravatar vgross2009-05-27
* keeping interface synch'edGravatar vgross2009-05-27
* dead code pruningGravatar vgross2009-05-27
* minor bugfixes. CoqIde development will resume soon now ...Gravatar vgross2009-05-13
* Report de la révision #12104 (Maj lien site web de Coq)Gravatar notin2009-04-24
* Remove unused mli filesGravatar letouzey2009-03-27
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Cleanup: remove 3 unused files in ide/Gravatar letouzey2009-03-11
* - per session coq command stackGravatar vgross2009-03-07
* fixed groebner as a plugin + pattern matching TimeoutGravatar barras2009-03-06
* Temporary hack to make coqide.byte work (backport r11948) (see #2062)Gravatar glondu2009-03-04
* fixes to typecheck with old lablgtk.Gravatar vgross2009-03-04
* Hack to fix compilation problems. will be removed on lablgtk upgrade.Gravatar vgross2009-03-03
* Heavy modifications on the widget and edition tab creation mechanism.Gravatar vgross2009-03-02
* Nouvelle icône pour CoqGravatar notin2009-02-11
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* Suppression de l'ancien logo (problèmes de droits)Gravatar notin2009-01-23
* Added some missing statements for proof folding and correctedGravatar vgross2009-01-20
* Added proof folding into CoqIde. See RefMan for using it.Gravatar vgross2009-01-20
* DISCLAIMERGravatar puech2009-01-17
* Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...Gravatar notin2009-01-06
* compatibility with lablgtk2 version 2.12Gravatar bertot2008-12-29
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Generalized binding syntax overhaul: only two new binders: `() and `{},Gravatar msozeau2008-12-14
* Miscellaneous fixes and improvements:Gravatar herbelin2008-12-02
* More factorization of inductive/record and typeclasses: move classGravatar msozeau2008-11-09
* - Ajout possibilité de lancer ocamldebug sur coqideGravatar herbelin2008-11-07
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* Que Time n'empêche pas la colorisation des mots-clés.Gravatar herbelin2008-10-18
* Minor fixes related to coqdoc and --interpolate and the dependentGravatar msozeau2008-10-03
* Show configure choice for browser in CoqIDE preferencesGravatar glondu2008-07-28
* - Rebranchement backtrack du langage déclaratif dans CoqideGravatar herbelin2008-07-18
* Bug résiduel du backtrack de coqide se produisant lorsque la limite deGravatar herbelin2008-07-10
* Encore une suite au 11188/11193 (c'était pas un bon jour)Gravatar herbelin2008-07-01
* Logo Coq dans coqideGravatar notin2008-06-27
* CoqIDE: 2 problèmes de undo encore:Gravatar herbelin2008-06-13
* now Escape toggles query paneGravatar jnarboux2008-06-11
* Plutôt que de reposer sur le vernacexpr pour détecter les débuts deGravatar herbelin2008-06-11
* escape key now hides paneGravatar jnarboux2008-06-11