aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqide.ml
Commit message (Expand)AuthorAge
* CoqIDE argv parsing delegated to coqtopGravatar vgross2010-09-14
* Fix unescaped end-of-lines (OCaml warning 29)Gravatar glondu2010-09-13
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Fix goal display when backtrackingGravatar vgross2010-07-05
* Robustness fix : clean restart of coqtop on pipe error + force matchingGravatar vgross2010-07-05
* Stronger checks on coqtop termination, warning when zombies.Gravatar vgross2010-07-05
* Fixing tabs closing problems by removing activation infrastructure.Gravatar vgross2010-07-02
* fix bug #2318, parsing error on dos line endingsGravatar vgross2010-06-22
* 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
* Dont recompute the contents of the proof window when entering theGravatar vgross2010-04-28
* Here comes the commit, announced long ago, of the new tactic engine.Gravatar aspiwack2010-04-22
* Changement de ide/proofs.ml en ide/ideproofs.ml pour éviter un conflitGravatar aspiwack2010-04-05
* 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 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
* Various fixes in interp, session switching and backtrackingGravatar vgross2010-02-25
* Changes in lexing and tagging.Gravatar vgross2010-02-25
* Fixing modules names.Gravatar vgross2010-02-18
* Refactoring of the printing optionsGravatar vgross2010-02-12
* Fix uncaught exceptionGravatar vgross2010-01-14
* 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 #2197 (option show_toolbar not taken into account at startup)Gravatar vgross2009-12-07
* Remove the "detach script windows" feature.Gravatar vgross2009-12-07
* Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1Gravatar vgross2009-12-03
* Ergonomy and robustness fixGravatar vgross2009-11-23
* Refactoring of coqide backtrack code, with the intent to put everythingGravatar vgross2009-11-19
* scripting area now grabs focus at startup.Gravatar vgross2009-11-13
* new handling for lexical structures.Gravatar vgross2009-11-13
* note for later : when the tag table is shared, never, ever create twoGravatar vgross2009-10-16
* 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
* removed the double-click / proof hiding association.Gravatar vgross2009-09-14
* tags refactoringGravatar vgross2009-09-14
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* Miscellaneous practical commits: Gravatar herbelin2009-06-29
* 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
* minor bugfixes. CoqIde development will resume soon now ...Gravatar vgross2009-05-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 17:24:32 +0000