aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* [vernac] Move `Quit` and `Drop` to the toplevel layer.Gravatar Emilio Jesus Gallego Arias2018-03-11
* [located] Push inner locations in `reference` to a CAst.t node.Gravatar Emilio Jesus Gallego Arias2018-03-09
* [located] More work towards using CAst.tGravatar Emilio Jesus Gallego Arias2018-03-09
* Merge PR #6923: Export optionsGravatar Maxime Dénès2018-03-09
|\
| * Implement the Export Set/Unset feature.Gravatar Pierre-Marie Pédrot2018-03-09
| * Export the various option localities in the API.Gravatar Pierre-Marie Pédrot2018-03-09
* | coqide: queries from the query window are routed there (fix #5684)Gravatar Enrico Tassi2018-03-08
|/
* Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\
* | [econstr] Continue consolidation of EConstr API under `interp`.Gravatar Emilio Jesus Gallego Arias2018-02-28
| * Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|/
* Merge PR #6753: [toplevel] Make toplevel state into a record.Gravatar Maxime Dénès2018-02-19
|\
* \ Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...Gravatar Maxime Dénès2018-02-19
|\ \
| * | Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
| | * [toplevel] Make toplevel state into a record.Gravatar Emilio Jesus Gallego Arias2018-02-15
| | * [ide] Localize a IDE-specific flag.Gravatar Emilio Jesus Gallego Arias2018-02-15
| |/ |/|
* | [toplevel] Refactor command line argument handling.Gravatar Emilio Jesus Gallego Arias2018-02-09
|/
* allow vernacular controls before focus selector, issue #6587Gravatar Paul Steckler2018-01-26
* Merge PR #6625: Update location on tab switch, issue 6624Gravatar Maxime Dénès2018-01-22
|\
| * update location on tab switch, issue 6624Gravatar Paul Steckler2018-01-19
* | add flash infos about wrap, not found, no. of replacements, no. of finds, iss...Gravatar Paul Steckler2018-01-18
|/
* Merge PR #6551: Bracket with goal selectorGravatar Maxime Dénès2018-01-16
|\
* | Add interfaces for IDE and remove dead code.Gravatar Maxime Dénès2018-01-10
| * Brackets support single numbered goal selectors.Gravatar Théo Zimmermann2018-01-05
|/
* Remove query-in-IDE warning.Gravatar Maxime Dénès2017-12-27
* Separate vernac controls and regular commands.Gravatar Maxime Dénès2017-12-20
* Merge PR #6261: Use \ocaml macro in Extraction chapter; accept OCaml in Extra...Gravatar Maxime Dénès2017-12-18
|\
* \ Merge PR #1108: [stm] Reorganize flagsGravatar Maxime Dénès2017-12-13
|\ \
| * | [flags] [stm] Reorganize flags.Gravatar Emilio Jesus Gallego Arias2017-12-11
| | * use \ocaml macro in Extraction chapter; accept OCaml in Extraction LanguageGravatar Paul Steckler2017-12-05
| |/
* / Don't Add LoadPath on CoqIDE startup, #6153Gravatar Paul Steckler2017-12-05
|/
* [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
| |/ |/|