aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.mli
Commit message (Expand)AuthorAge
...
* Stronger checks on coqtop termination, warning when zombies.Gravatar vgross2010-07-05
* fixing error message display.Gravatar vgross2010-06-07
* added -args option to coqide to pass options to coqtopsGravatar vgross2010-06-01
* CoqIDE goes multiprocessGravatar vgross2010-05-31
* Introducing strong typing for IDE - toplevel IPCGravatar vgross2010-05-31
* deporting Coq specific code from ide to toplevel.Gravatar vgross2010-05-31
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Changing types to reflect futur separation between toplevel and ide.Gravatar vgross2010-03-23
* Goal generation deported into ide/coq.ml, single function to obtainGravatar vgross2010-03-23
* New functions for goals fetching.Gravatar vgross2010-03-23
* New backtracking code + fix bug #2082.Gravatar vgross2010-02-26
* Introducing a dual stack setupGravatar vgross2010-02-26
* New API for backtracking.Gravatar vgross2010-02-26
* Redispatch of printing tweaking hooks.Gravatar vgross2010-02-26
* Simplify backtrackingGravatar vgross2010-02-12
* Refactoring of the printing optionsGravatar vgross2010-02-12
* Revert "Isolation of proof-displaying code"Gravatar vgross2010-01-11
* Isolation of proof-displaying codeGravatar vgross2010-01-11
* Deport the backtracking code out of the ideGravatar vgross2009-12-11
* Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1Gravatar vgross2009-12-03
* Refactoring of coqide backtrack code, with the intent to put everythingGravatar vgross2009-11-19
* Revert "kills the old backtracking framework and replaces it with"Gravatar vgross2009-10-05
* kills the old backtracking framework and replaces it withGravatar vgross2009-09-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* clearing unused functionsGravatar vgross2009-06-22
* Simplifying the call to print_no_goals and not calling it when no goalGravatar herbelin2009-06-11
* Partial simplification of undo mechanism, relying only on Courtieu'sGravatar herbelin2009-06-07
* keeping interface synch'edGravatar vgross2009-05-27
* CoqIDE: 2 problèmes de undo encore:Gravatar herbelin2008-06-13
* Plutôt que de reposer sur le vernacexpr pour détecter les débuts deGravatar herbelin2008-06-11
* On prend des risques en tentant d'optimiser encore plus le undo en casGravatar herbelin2008-06-09
* - On adopte finalement la méthode de Pierre Courtieu pour le undo deGravatar herbelin2008-06-06
* Réorganisation fenêtre d'accueil CoqIDE et About; nouvelle image deGravatar herbelin2008-05-28
* Réorganisation des points d'appui du undo de CoqIDE (type reset_info).Gravatar herbelin2008-05-26
* - Nouvelle option "Set Printing Existential Instances" pour forcerGravatar herbelin2008-05-25
* - Prise en compte des frozen state de Coq autant que possible pourGravatar herbelin2008-05-24
* Amélioration de la colorisation, du backtrack et des messages de CoqIDEGravatar herbelin2008-05-10
* ** Efficacité, bugs, robustesse CoqIDE **Gravatar herbelin2008-05-08
* fin des conclusions multiplesGravatar corbinea2007-04-26
* Declarative Proof Language: main commitGravatar corbinea2006-09-20
* Correction bug #990 (LoadPath et option -R de coqideGravatar notin2006-05-30
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Abstraction vis a vis du type loc pour ocaml 3.08Gravatar herbelin2004-07-18
* Nouvelle en-têteGravatar herbelin2004-07-16
* ide: silent behavior better, save icon, -byte worksGravatar marche2004-03-03
* Coqide : les nouveaute d'aoutGravatar monate2003-09-19
* coqide: fixed problems with -R -I and coqide interactionGravatar monate2003-07-16
* coqide : status bar more informative, forbid Section/Module in proo modeGravatar monate2003-06-25
* CoqIDE: undo immediat sur les commandes ne modifiant pas l'etatGravatar filliatr2003-06-13
* coqide: blaster interruptibleGravatar monate2003-05-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 03:06:56 +0000