aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* TeX input method is now supported upstreamGravatar vgross2010-10-07
* Remove ide/coq_tactics.ml*Gravatar glondu2010-10-06
* Fix function applications without labels (OCaml warning 6)Gravatar glondu2010-09-28
* Addressing part 2 of bug report 2377 (removing intrusive warning whenGravatar herbelin2010-09-19
* 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
* coqide: s/Sys.argv.(0)/Sys.executable_name/ for coqtop (cf #2341)Gravatar glondu2010-07-12
* 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
* Fix build with OCaml 3.12Gravatar glondu2010-06-10
* 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
* More indirection.Gravatar 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
* Modifying startup sequenceGravatar vgross2010-05-31
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* Fix bug #2315 : printing of defined evars in Coqide.Gravatar aspiwack2010-05-07
* Pfedit.resume_proof doesn't implicitly Pfedit.suspend_proofGravatar pboutill2010-05-05
* - Fixing bug #2308 about Lemma ... withGravatar vsiles2010-05-04
* ocamldoc related fixesGravatar pboutill2010-05-03
* Fail: a way to check that a command is refused without blocking a scriptGravatar letouzey2010-04-30
* "make source-doc" builds documentation of mli in html and pdf atGravatar pboutill2010-04-29
* 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
* Util: remove list_split_at which is a clone of list_chopGravatar letouzey2010-04-16
* 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 functions for goals fetching.Gravatar vgross2010-03-23
* Fix bug in backtracking.Gravatar vgross2010-03-23
* debuggingGravatar 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
* Various fixes in interp, session switching and backtrackingGravatar vgross2010-02-25
* Changes in lexing and tagging.Gravatar vgross2010-02-25
* Fixing compilation issuesGravatar vgross2010-02-19
* Fixing modules names.Gravatar vgross2010-02-18
* Adding uim filesGravatar vgross2010-02-18
* Polishing the setup of CoqIDE Input MethodGravatar vgross2010-02-18
* Change the customization of modifiers (bug #2210)Gravatar vgross2010-02-15
* Simplify backtrackingGravatar vgross2010-02-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 05:39:13 +0000