aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2017-12-13Merge PR #1108: [stm] Reorganize flagsMaxime Dénès
2017-12-11[flags] [stm] Reorganize flags.Emilio Jesus Gallego Arias
2017-12-05Don't Add LoadPath on CoqIDE startup, #6153Paul Steckler
2017-11-19[proof] Attempt to deprecate some V82 parts of the proof API.Emilio Jesus Gallego Arias
2017-11-13[ci] [coq] Complete 4.06.0 support.Emilio Jesus Gallego Arias
2017-10-22Little code restructuration in CoqIDE tags.Hugo Herbelin
2017-10-22An attempt to fix issue #5771 (error color hidden by warning color).Hugo Herbelin
2017-10-11Remove GeoProof support.Maxime Dénès
2017-10-06[stm] Switch to a functional APIEmilio Jesus Gallego Arias
2017-09-29[ide] Avoid duplicate error printing (BZ#5583)Emilio Jesus Gallego Arias
2017-09-19Add XML protocol support for Wait.Maxime Dénès
2017-09-15Merge PR #1042: Fixing minor typos in stm/coqideMaxime Dénès
2017-09-11Typo in the header of ide_slave.ml.Hugo Herbelin
2017-09-11Coqide: adding a separating space in some debugging messages.Hugo Herbelin
2017-09-06use get_arguments, String.concat, remove -IPaul Steckler
2017-09-05read flags from project file for Compile BufferPaul Steckler
2017-08-23Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.Pierre-Marie Pédrot
2017-08-08Set detachable windows type hint to dialog.Olivier Marty
2017-08-01Merge PR #919: Remove a few useless evar-normalizations in printing code.Maxime Dénès
2017-07-31Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t insteadMaxime Dénès
2017-07-28Merge PR #823: Async off in Windows by default in CoqIDEMaxime Dénès
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-26Remove a few useless evar-normalizations in printing code.Pierre-Marie Pédrot
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-26disable async on Windows by defaultPaul Steckler
2017-06-21[ide] Correct more merging errors.Emilio Jesus Gallego Arias
2017-06-20Default colors for CoqIDE are actually applied.Cyprien Mangin
2017-06-20Merge PR#774: [ide] Add route_id parameter to query call.Maxime Dénès
2017-06-19Merge PR#795: [ide] Better exn printing. [fixes BZ#5524]Maxime Dénès
2017-06-19Change CoqIDE-specific to neutral wordingPaul Steckler
2017-06-18[ide] Add route_id parameter to query call.Emilio Jesus Gallego Arias
2017-06-18[ide] Better exn printing. [fixes BZ#5524]Emilio Jesus Gallego Arias
2017-06-16Fix bugs and add an option for cumulativityAmin Timany
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2017-06-01Bump year in headers.Maxime Dénès
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 19:00:50 +0000