aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* [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
|\
* \ Merge PR#531: Fixing bug #5420 and many similar bugs due to the presence of l...Gravatar Maxime Dénès2017-04-28
|\ \
| | * Remove uses of [Flags.make_silent]Gravatar Gaetan Gilbert2017-04-27
| | * Warning 29: non escaped end of line may be non portableGravatar Gaetan Gilbert2017-04-27
| | * 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
|\ \ \
| | | * Removing internal support for accepting "{struct x}" and co in "Theorem with".Gravatar Hugo Herbelin2017-04-09
| | |/
* | / [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
| |\ | |/ |/|