aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2017-06-16Fix bugs and add an option for cumulativityAmin Timany
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2017-05-30[ide] Correct merging error.Emilio Jesus Gallego Arias
2017-05-30Merge PR#356: Making management of installation directories more structured, ...Maxime Dénès
2017-05-29Relying on computation done in Envars to discover the installation directories.Hugo Herbelin
2017-05-29Configuration: always giving a value to configdir and datadir.Hugo Herbelin
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2017-05-25Merge PR#481: [option] Remove support for non-synchronous options.Maxime Dénès
2017-05-25Merge PR#406: coq makefile2Maxime Dénès
2017-05-24Merge branch 'trunk' into located_switchEmilio Jesus Gallego Arias
2017-05-24[option] Remove support for non-synchronous options.Emilio Jesus Gallego Arias
2017-05-23CoqProject_file: API and code cleanup (tuples -> records)Enrico Tassi
2017-05-23ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliEnrico Tassi
2017-05-23ide/project_fie.ml4: include standard banner with copyrightEnrico Tassi
2017-05-23[vernac] Remove `Save.` command.Emilio Jesus Gallego Arias
2017-05-18[ide] Disable `print_ast` call.Emilio Jesus Gallego Arias
2017-05-04labelizing argumentsPierre Courtieu
2017-05-04Adding an option "Printing Unfocused".Pierre Courtieu
2017-05-02Merge PR#582: Fix warningsMaxime Dénès
2017-04-28Merge PR#531: Fixing bug #5420 and many similar bugs due to the presence of l...Maxime Dénès
2017-04-27Remove uses of [Flags.make_silent]Gaetan Gilbert
2017-04-27Warning 29: non escaped end of line may be non portableGaetan Gilbert
2017-04-27Remove some unused values and typesGaetan Gilbert
2017-04-27Use [method!] to override methods (warning 7)Gaetan Gilbert
2017-04-27Fix omitted labels in function callsGaetan Gilbert
2017-04-25[location] [ast] Switch Constrexpr AST to an extensible node type.Emilio Jesus Gallego Arias
2017-04-25[location] Make location optional in Loc.locatedEmilio Jesus Gallego Arias
2017-04-25[location] Remove Loc.ghost.Emilio Jesus Gallego Arias
2017-04-24[location] Use located in misctypes.Emilio Jesus Gallego Arias
2017-04-24[location] Use Loc.located for constr_expr.Emilio Jesus Gallego Arias
2017-04-24[constrexpr] Make patterns use Loc.located for location informationEmilio Jesus Gallego Arias
2017-04-24Merge PR#565: Remove VernacErrorMaxime Dénès
2017-04-24Merge PR#580: [ide] Fix #5482 "location for query commands" in IDE.Maxime Dénès
2017-04-21[ide] Fix #5482 "location for query commands" in IDE.Emilio Jesus Gallego Arias
2017-04-21Remove VernacErrorGaetan Gilbert
2017-04-20[ide] Set Stateid in query pane.Emilio Jesus Gallego Arias
2017-04-19[ide] Rely less on `Stateid.dummy`Emilio Jesus Gallego Arias
2017-04-12Merge PR#441: Port Toplevel to the Stm APIMaxime Dénès
2017-04-12[vernac] vernacentries.mli cleanupEmilio Jesus Gallego Arias
2017-04-12[stm] Port the toplevel to the STM.Emilio Jesus Gallego Arias
2017-04-12[stm] Move main parsing entry point to the STM.Emilio Jesus Gallego Arias
2017-04-12[stm] Remove edit_id.Emilio Jesus Gallego Arias
2017-04-11Merge PR#379: Introducing evar-insensitive constrsMaxime Dénès
2017-04-09Removing internal support for accepting "{struct x}" and co in "Theorem with".Hugo Herbelin
2017-04-08[ide] Correctly place warning tags.Emilio Jesus Gallego Arias
2017-04-04Merge branch 'trunk' into pr379Maxime Dénès
2017-04-03Merge PR#417: No cast surgery in let inMaxime Dénès
2017-03-29Merge PR#522: [coqide] Protect against size_allocate race in proofview.Maxime Dénès
2017-03-29[ide] Fix typo in pp serialization.Emilio Jesus Gallego Arias
2017-03-28[coqide] Protect against size_allocate race in proofview.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:57:54 +0000