aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [ide] Correct more merging errors.Gravatar Emilio Jesus Gallego Arias2017-06-21
* 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
|\ \
| | * [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
* [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
| |\
| * \ 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
| | |/ | |/|
* | | [location] [ast] Switch Constrexpr AST to an extensible node type.Gravatar Emilio Jesus Gallego Arias2017-04-25
* | | [location] Make location optional in Loc.locatedGravatar Emilio Jesus Gallego Arias2017-04-25
* | | [location] Remove Loc.ghost.Gravatar Emilio Jesus Gallego Arias2017-04-25
* | | [location] Use located in misctypes.Gravatar Emilio Jesus Gallego Arias2017-04-24
* | | [location] Use Loc.located for constr_expr.Gravatar Emilio Jesus Gallego Arias2017-04-24
* | | [constrexpr] Make patterns use Loc.located for location informationGravatar Emilio Jesus Gallego Arias2017-04-24
|/ /
* | 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
| | |/