aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2009-06-29Miscellaneous practical commits: herbelin
2009-06-22remove some unused functions (which are part of a soon-to-be obsoletevgross
2009-06-22clearing unused functionsvgross
2009-06-11Simplifying the call to print_no_goals and not calling it when no goalherbelin
2009-06-08Change in UI behaviour : proof folding is now done by double clicking. Delay isvgross
2009-06-07Partial simplification of undo mechanism, relying only on Courtieu'sherbelin
2009-05-27sane behaviour for copy/paste operations (the code is still insane, though)vgross
2009-05-27keeping interface synch'edvgross
2009-05-27dead code pruningvgross
2009-05-13minor bugfixes. CoqIde development will resume soon now ...vgross
2009-04-24Report de la révision #12104 (Maj lien site web de Coq)notin
2009-03-27Remove unused mli filesletouzey
2009-03-20Many changes in the Makefile infrastructure + a beginning of ocamlbuildletouzey
2009-03-11Cleanup: remove 3 unused files in ide/letouzey
2009-03-07- per session coq command stackvgross
2009-03-06fixed groebner as a plugin + pattern matching Timeoutbarras
2009-03-04Temporary hack to make coqide.byte work (backport r11948) (see #2062)glondu
2009-03-04fixes to typecheck with old lablgtk.vgross
2009-03-03Hack to fix compilation problems. will be removed on lablgtk upgrade.vgross
2009-03-02Heavy modifications on the widget and edition tab creation mechanism.vgross
2009-02-11Nouvelle icône pour Coqnotin
2009-02-11Report des revisions #11826, #11828 et #11829 de v8.2 vers trunknotin
2009-01-23Suppression de l'ancien logo (problèmes de droits)notin
2009-01-20Added some missing statements for proof folding and correctedvgross
2009-01-20Added proof folding into CoqIde. See RefMan for using it.vgross
2009-01-17DISCLAIMERpuech
2009-01-06Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...notin
2008-12-29compatibility with lablgtk2 version 2.12bertot
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
2008-12-14Generalized binding syntax overhaul: only two new binders: `() and `{},msozeau
2008-12-02Miscellaneous fixes and improvements:herbelin
2008-11-09More factorization of inductive/record and typeclasses: move classmsozeau
2008-11-07- Ajout possibilité de lancer ocamldebug sur coqideherbelin
2008-10-28Native "Declare ML Module" when possibleglondu
2008-10-18Que Time n'empêche pas la colorisation des mots-clés.herbelin
2008-10-03Minor fixes related to coqdoc and --interpolate and the dependentmsozeau
2008-07-28Show configure choice for browser in CoqIDE preferencesglondu
2008-07-18- Rebranchement backtrack du langage déclaratif dans Coqideherbelin
2008-07-10Bug résiduel du backtrack de coqide se produisant lorsque la limite deherbelin
2008-07-01Encore une suite au 11188/11193 (c'était pas un bon jour)herbelin
2008-06-27Logo Coq dans coqidenotin
2008-06-13CoqIDE: 2 problèmes de undo encore:herbelin
2008-06-11now Escape toggles query panejnarboux
2008-06-11Plutôt que de reposer sur le vernacexpr pour détecter les débuts deherbelin
2008-06-11escape key now hides panejnarboux
2008-06-10Ajout query Locate dans coqide sur suggestion Arthur C.herbelin
2008-06-10open and save buttons are the defaultbarras
2008-06-09On prend des risques en tentant d'optimiser encore plus le undo en casherbelin
2008-06-09- Documentation de admit et Print Assumptions.herbelin
2008-06-09more uniform name of app for windows classjnarboux
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:13:21 +0000