aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Remove some unused values and typesGravatar Gaetan Gilbert2017-04-27
* Use [method!] to override methods (warning 7)Gravatar Gaetan Gilbert2017-04-27
* Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* Merge PR#565: Remove VernacErrorGravatar Maxime Dénès2017-04-24
|\
* \ Merge PR#580: [ide] Fix #5482 "location for query commands" in IDE.Gravatar Maxime Dénès2017-04-24
|\ \
| * | [ide] Fix #5482 "location for query commands" in IDE.Gravatar Emilio Jesus Gallego Arias2017-04-21
| | * Remove VernacErrorGravatar Gaetan Gilbert2017-04-21
| |/
* | [ide] Set Stateid in query pane.Gravatar Emilio Jesus Gallego Arias2017-04-20
* | [ide] Rely less on `Stateid.dummy`Gravatar Emilio Jesus Gallego Arias2017-04-19
|/
* Merge PR#441: Port Toplevel to the Stm APIGravatar Maxime Dénès2017-04-12
|\
| * [vernac] vernacentries.mli cleanupGravatar Emilio Jesus Gallego Arias2017-04-12
| * [stm] Port the toplevel to the STM.Gravatar Emilio Jesus Gallego Arias2017-04-12
| * [stm] Move main parsing entry point to the STM.Gravatar Emilio Jesus Gallego Arias2017-04-12
| * [stm] Remove edit_id.Gravatar Emilio Jesus Gallego Arias2017-04-12
* | Merge PR#379: Introducing evar-insensitive constrsGravatar Maxime Dénès2017-04-11
|\ \
* | | [ide] Correctly place warning tags.Gravatar Emilio Jesus Gallego Arias2017-04-08
| |/ |/|
| * Merge branch 'trunk' into pr379Gravatar Maxime Dénès2017-04-04
| |\ | |/ |/|
* | Merge PR#417: No cast surgery in let inGravatar Maxime Dénès2017-04-03
|\ \
* \ \ Merge PR#522: [coqide] Protect against size_allocate race in proofview.Gravatar Maxime Dénès2017-03-29
|\ \ \
* | | | [ide] Fix typo in pp serialization.Gravatar Emilio Jesus Gallego Arias2017-03-29
| * | | [coqide] Protect against size_allocate race in proofview.Gravatar Emilio Jesus Gallego Arias2017-03-28
|/ / /
| | * Merge branch 'trunk' into pr379Gravatar Maxime Dénès2017-03-24
| | |\ | |_|/ |/| |
| * | Replacing "cast surgery" in LetIn by a proper field (see PR #404).Gravatar Hugo Herbelin2017-03-24
| * | Unifying standard "constr_level" names for constructors of local_binder_expr.Gravatar Hugo Herbelin2017-03-24
| * | "Standardizing" the name LocalPatten into LocalRawPattern.Gravatar Hugo Herbelin2017-03-24
|/ /
* | make check not CoqIDE-specificGravatar Paul Steckler2017-03-22
* | [ide protocol] Add comment about leftover parameter.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Hide the internal representation of `std_ppcmds`.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Fix bug in richpp Format use.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [xml] Restore protocol compatibility with 8.6.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove uses of expensive string_of_ppcmds.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] [ide] Minor cleanups in pp code.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Move terminal-specific tagging to the toplevel.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove special tag type and handler from Pp.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [ide] Dynamic printing width.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [ide] richpp clenaupGravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove unused printing tagging infrastructure.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [ide] ide_slave doesnt't need to capture stdoutGravatar Emilio Jesus Gallego Arias2017-03-21
* | [ide] Use "log via feedback".Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [safe-string] ideGravatar Emilio Jesus Gallego Arias2017-03-14
| * Merge branch 'master'.Gravatar Pierre-Marie Pédrot2017-02-14
| |\ | |/ |/|
| * Evar-normalizing functions now act on EConstrs.Gravatar Pierre-Marie Pédrot2017-02-14
| * Removing compatibility layers related to printing.Gravatar Pierre-Marie Pédrot2017-02-14
| * Goal API using EConstr.Gravatar Pierre-Marie Pédrot2017-02-14
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-02-01
|\ \
* \ \ Merge PR#355: Remove unused feedback_content: GoalsGravatar Maxime Dénès2017-01-30
|\ \ \
| | * | Fix documentation typos.Gravatar Guillaume Melquiond2017-01-27
* | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-01-19
|\ \ \ \ | | |/ / | |/| |
| * | | Fix broken .aux machinery.Gravatar Guillaume Melquiond2017-01-13