aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Correct some spelling errorsmasterGravatar Benjamin Barenblat2018-07-22
* Merge PR #8054: [dev] Autogenerate OCaml dev files.Gravatar Enrico Tassi2018-07-18
|\
* \ Merge PR #7897: Remove fourier pluginGravatar Enrico Tassi2018-07-18
|\ \
| * | Remove fourier pluginGravatar Maxime Dénès2018-07-17
* | | [build] Build Coq and plugins with `-strict-sequence`Gravatar Emilio Jesus Gallego Arias2018-07-14
|/ /
| * [dev] Autogenerate OCaml dev files.Gravatar Emilio Jesus Gallego Arias2018-07-12
|/
* Introduce a Pcoq.Entry module for functions that ought to be exported.Gravatar Pierre-Marie Pédrot2018-07-07
* Remove unused arguments to Ide_slave.concl_next_tac.Gravatar Gaëtan Gilbert2018-07-03
* CoqIDE scrolls the proof buffer down to the first goal.Gravatar Cyprien Mangin2018-06-27
* Remove reference name type.Gravatar Maxime Dénès2018-06-18
* Merge PR #7419: Remove 100 occurrences of Evd.emptyGravatar Pierre-Marie Pédrot2018-05-28
|\
| * Remove some occurrences of Evd.emptyGravatar Maxime Dénès2018-05-25
* | [ide] Move common protocol library to its own folder/object.Gravatar Emilio Jesus Gallego Arias2018-05-24
|/
* [ide] Remove special option `-ideslave`Gravatar Emilio Jesus Gallego Arias2018-05-21
* [stm] Make toplevels standalone executables.Gravatar Emilio Jesus Gallego Arias2018-05-21
* [ide] Don't set `quiet` on start.Gravatar Emilio Jesus Gallego Arias2018-05-16
* Merge PR #7224: Attempt to fix the doubly encapsulated Ltac errors in coqideGravatar Enrico Tassi2018-05-15
|\
* | [toplevel] let toploop_init change Coq optionsGravatar Enrico Tassi2018-04-19
* | Merge PR #7096: coqide: avoid marking sentences that are not in the document ...Gravatar Pierre-Marie Pédrot2018-04-12
|\ \
| | * Attempt to fix the doubly encapsulated Ltac errors in coqide.Gravatar Hugo Herbelin2018-04-12
| |/ |/|
* | Remove unused script.Gravatar Théo Zimmermann2018-04-05
| * coqide: avoid marking sentences that are not in the document anymoreGravatar Enrico Tassi2018-03-28
|/
* [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