aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* [proof] Attempt to deprecate some V82 parts of the proof API.Gravatar Emilio Jesus Gallego Arias2017-11-19
* [ci] [coq] Complete 4.06.0 support.Gravatar Emilio Jesus Gallego Arias2017-11-13
* Little code restructuration in CoqIDE tags.Gravatar Hugo Herbelin2017-10-22
* An attempt to fix issue #5771 (error color hidden by warning color).Gravatar Hugo Herbelin2017-10-22
* Remove GeoProof support.Gravatar Maxime Dénès2017-10-11
* [stm] Switch to a functional APIGravatar Emilio Jesus Gallego Arias2017-10-06
* [ide] Avoid duplicate error printing (BZ#5583)Gravatar Emilio Jesus Gallego Arias2017-09-29
* Add XML protocol support for Wait.Gravatar Maxime Dénès2017-09-19
* Merge PR #1042: Fixing minor typos in stm/coqideGravatar Maxime Dénès2017-09-15
|\
| * Typo in the header of ide_slave.ml.Gravatar Hugo Herbelin2017-09-11
| * Coqide: adding a separating space in some debugging messages.Gravatar Hugo Herbelin2017-09-11
* | use get_arguments, String.concat, remove -IGravatar Paul Steckler2017-09-06
* | read flags from project file for Compile BufferGravatar Paul Steckler2017-09-05
|/
* Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.Gravatar Pierre-Marie Pédrot2017-08-23
* Set detachable windows type hint to dialog.Gravatar Olivier Marty2017-08-08
* Merge PR #919: Remove a few useless evar-normalizations in printing code.Gravatar Maxime Dénès2017-08-01
|\
* \ Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t insteadGravatar Maxime Dénès2017-07-31
|\ \
* \ \ Merge PR #823: Async off in Windows by default in CoqIDEGravatar Maxime Dénès2017-07-28
|\ \ \
| | * | deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
| |/ / |/| |
| | * Remove a few useless evar-normalizations in printing code.Gravatar Pierre-Marie Pédrot2017-07-26
| |/ |/|
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\ \
* | | Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
| | * disable async on Windows by defaultGravatar Paul Steckler2017-06-26
| |/ |/|
* | [ide] Correct more merging errors.Gravatar Emilio Jesus Gallego Arias2017-06-21
| * Default colors for CoqIDE are actually applied.Gravatar Cyprien Mangin2017-06-20
* | Merge PR#774: [ide] Add route_id parameter to query call.Gravatar Maxime Dénès2017-06-20
|\ \
* \ \ Merge PR#795: [ide] Better exn printing. [fixes BZ#5524]Gravatar Maxime Dénès2017-06-19
|\ \ \
| | | * Change CoqIDE-specific to neutral wordingGravatar Paul Steckler2017-06-19
| | * | [ide] Add route_id parameter to query call.Gravatar Emilio Jesus Gallego Arias2017-06-18
| * | | [ide] Better exn printing. [fixes BZ#5524]Gravatar Emilio Jesus Gallego Arias2017-06-18
| |/ /
* / / Fix bugs and add an option for cumulativityGravatar Amin Timany2017-06-16
|/ /
* | Drop '.' from CErrors.anomaly, insert it in argsGravatar Jason Gross2017-06-02
| * Bump year in headers.Gravatar Maxime Dénès2017-06-01
* | [ide] Correct merging error.Gravatar Emilio Jesus Gallego Arias2017-05-30
* | Merge PR#356: Making management of installation directories more structured, ...Gravatar Maxime Dénès2017-05-30
|\ \
| * | Relying on computation done in Envars to discover the installation directories.Gravatar Hugo Herbelin2017-05-29
| * | Configuration: always giving a value to configdir and datadir.Gravatar Hugo Herbelin2017-05-29
* | | Fail on deprecated warning even for Ocaml > 4.02.3Gravatar Gaëtan Gilbert2017-05-28
|/ /
* | Merge PR#481: [option] Remove support for non-synchronous options.Gravatar Maxime Dénès2017-05-25
|\ \
* \ \ Merge PR#406: coq makefile2Gravatar Maxime Dénès2017-05-25
|\ \ \
* \ \ \ Merge branch 'trunk' into located_switchGravatar Emilio Jesus Gallego Arias2017-05-24
|\ \ \ \
| | | * | [option] Remove support for non-synchronous options.Gravatar Emilio Jesus Gallego Arias2017-05-24
| | * | | CoqProject_file: API and code cleanup (tuples -> records)Gravatar Enrico Tassi2017-05-23
| | * | | ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliGravatar Enrico Tassi2017-05-23
| | * | | ide/project_fie.ml4: include standard banner with copyrightGravatar Enrico Tassi2017-05-23
| | |/ /
| * / / [vernac] Remove `Save.` command.Gravatar Emilio Jesus Gallego Arias2017-05-23
| |/ /
| * | [ide] Disable `print_ast` call.Gravatar Emilio Jesus Gallego Arias2017-05-18
| * | labelizing argumentsGravatar Pierre Courtieu2017-05-04
| * | Adding an option "Printing Unfocused".Gravatar Pierre Courtieu2017-05-04
| * | Merge PR#582: Fix warningsGravatar Maxime Dénès2017-05-02
| |\ \