| Commit message (Expand) | Author | Age |
* | Improved error messages in CoqIDE: | herbelin | 2010-11-07 |
* | CoqIDE argv parsing delegated to coqtop | vgross | 2010-09-14 |
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | Robustness fix : clean restart of coqtop on pipe error + force matching | vgross | 2010-07-05 |
* | Stronger checks on coqtop termination, warning when zombies. | vgross | 2010-07-05 |
* | fixing error message display. | vgross | 2010-06-07 |
* | added -args option to coqide to pass options to coqtops | vgross | 2010-06-01 |
* | CoqIDE goes multiprocess | vgross | 2010-05-31 |
* | Introducing strong typing for IDE - toplevel IPC | vgross | 2010-05-31 |
* | deporting Coq specific code from ide to toplevel. | vgross | 2010-05-31 |
* | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
* | Changing types to reflect futur separation between toplevel and ide. | vgross | 2010-03-23 |
* | Goal generation deported into ide/coq.ml, single function to obtain | vgross | 2010-03-23 |
* | New functions for goals fetching. | vgross | 2010-03-23 |
* | New backtracking code + fix bug #2082. | vgross | 2010-02-26 |
* | Introducing a dual stack setup | vgross | 2010-02-26 |
* | New API for backtracking. | vgross | 2010-02-26 |
* | Redispatch of printing tweaking hooks. | vgross | 2010-02-26 |
* | Simplify backtracking | vgross | 2010-02-12 |
* | Refactoring of the printing options | vgross | 2010-02-12 |
* | Revert "Isolation of proof-displaying code" | vgross | 2010-01-11 |
* | Isolation of proof-displaying code | vgross | 2010-01-11 |
* | Deport the backtracking code out of the ide | vgross | 2009-12-11 |
* | Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1 | vgross | 2009-12-03 |
* | Refactoring of coqide backtrack code, with the intent to put everything | vgross | 2009-11-19 |
* | Revert "kills the old backtracking framework and replaces it with" | vgross | 2009-10-05 |
* | kills the old backtracking framework and replaces it with | vgross | 2009-09-29 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | clearing unused functions | vgross | 2009-06-22 |
* | Simplifying the call to print_no_goals and not calling it when no goal | herbelin | 2009-06-11 |
* | Partial simplification of undo mechanism, relying only on Courtieu's | herbelin | 2009-06-07 |
* | keeping interface synch'ed | vgross | 2009-05-27 |
* | CoqIDE: 2 problèmes de undo encore: | herbelin | 2008-06-13 |
* | Plutôt que de reposer sur le vernacexpr pour détecter les débuts de | herbelin | 2008-06-11 |
* | On prend des risques en tentant d'optimiser encore plus le undo en cas | herbelin | 2008-06-09 |
* | - On adopte finalement la méthode de Pierre Courtieu pour le undo de | herbelin | 2008-06-06 |
* | Réorganisation fenêtre d'accueil CoqIDE et About; nouvelle image de | herbelin | 2008-05-28 |
* | Réorganisation des points d'appui du undo de CoqIDE (type reset_info). | herbelin | 2008-05-26 |
* | - Nouvelle option "Set Printing Existential Instances" pour forcer | herbelin | 2008-05-25 |
* | - Prise en compte des frozen state de Coq autant que possible pour | herbelin | 2008-05-24 |
* | Amélioration de la colorisation, du backtrack et des messages de CoqIDE | herbelin | 2008-05-10 |
* | ** Efficacité, bugs, robustesse CoqIDE ** | herbelin | 2008-05-08 |
* | fin des conclusions multiples | corbinea | 2007-04-26 |
* | Declarative Proof Language: main commit | corbinea | 2006-09-20 |
* | Correction bug #990 (LoadPath et option -R de coqide | notin | 2006-05-30 |
* | Compatibilité ocamlweb pour cible doc | herbelin | 2005-01-21 |
* | Abstraction vis a vis du type loc pour ocaml 3.08 | herbelin | 2004-07-18 |
* | Nouvelle en-tête | herbelin | 2004-07-16 |
* | ide: silent behavior better, save icon, -byte works | marche | 2004-03-03 |
* | Coqide : les nouveaute d'aout | monate | 2003-09-19 |