aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-07-08Merge PR #10497: [lemmas] Move mutually recursive lemma analysis to its own m...Gaëtan Gilbert
2019-07-08[errors] Small cleanups and removal of dead code.Emilio Jesus Gallego Arias
2019-07-08Merge PR #9686: [error] Remove special error printing pre-processingGaëtan Gilbert
2019-07-08Merge PR #10466: [python] Remove use of generic python shebang, update CIGaëtan Gilbert
2019-07-08Merge PR #10246: Investigations in the initialization of coq binaries and com...Emilio Jesus Gallego Arias
2019-07-08Usage: bypassing a useless detour via a reference.Hugo Herbelin
2019-07-08An even more uniform treatment of the -help option across executables.Hugo Herbelin
2019-07-08Removing -filterops "hack" from coqtop.Hugo Herbelin
2019-07-08Some common points between coqc and other coq binaries.Hugo Herbelin
2019-07-08Passing command-line option async_proofs_worker_priority functionally.Hugo Herbelin
2019-07-08Layout/documentation updates.Hugo Herbelin
2019-07-08An attempt to reorganize further coqtop initialization into semantic units.Hugo Herbelin
2019-07-08Adding methods help and parse_extra to custom toplevels data.Hugo Herbelin
2019-07-08Function print_memory_stat: getting rid of a mutable.Hugo Herbelin
2019-07-08A classification of command line options.Hugo Herbelin
2019-07-08Toplevel: structuring init_toplevel.Hugo Herbelin
2019-07-08Toplevel: structuring source code.Hugo Herbelin
2019-07-07[lemmas] Move mutually recursive lemma analysis to its own module.Emilio Jesus Gallego Arias
2019-07-07[error] Remove special error printing pre-processingEmilio Jesus Gallego Arias
2019-07-06Merge PR #10490: Dockerfile: update menhir versionEmilio Jesus Gallego Arias
2019-07-06[python] Remove use of generic python shebang, update CIEmilio Jesus Gallego Arias
2019-07-06Merge PR #10482: Use Format.pp_print_list with conditional instead of fold fo...Emilio Jesus Gallego Arias
2019-07-06[Dockerfile] update menhir versionGaëtan Gilbert
2019-07-05Merge PR #10484: Correct doc about default value for Typeclasses Dependency O...Théo Zimmermann
2019-07-05Use Format.pp_print_list with conditional instead of fold for list prints in ...Gaëtan Gilbert
2019-07-05Correct doc about default value for Typeclasses Dependency OrderGaëtan Gilbert
2019-07-04Merge PR #10479: Fix miscellaneous mistakes in unreleased changelog entries.Clément Pit-Claudel
2019-07-04Fix miscellaneous mistakes in unreleased changelog entries.Théo Zimmermann
2019-07-04Merge PR #10461: Simplify Declare.declare_variableEmilio Jesus Gallego Arias
2019-07-04Merge PR #10359: Remove dependency of native_compile on global env for symbolsMaxime Dénès
2019-07-03Move variable_secpath logic to dumpglob from constrinternGaëtan Gilbert
2019-07-03Remove unused variable_path (note secpath is still used)Gaëtan Gilbert
2019-07-03declare_variable: path is always Lib.cwd()Gaëtan Gilbert
2019-07-03Remove unused Decls.variable_{context,polymorphic}Gaëtan Gilbert
2019-07-03Declare section variables in direct style "without" an objectGaëtan Gilbert
2019-07-03Move declare_universe_context to top of DeclareGaëtan Gilbert
2019-07-03Search: do not use libobject to find variablesGaëtan Gilbert
2019-07-03Safe_typing.push_named_assum: don't take universesGaëtan Gilbert
2019-07-03Remove constrintern global_level dead codeGaëtan Gilbert
2019-07-03Simplify (restrict_path 0 sp) -> (make_path DirPath.empty id)Gaëtan Gilbert
2019-07-03Merge PR #10442: Reify libobject containersEmilio Jesus Gallego Arias
2019-07-03Merge PR #10472: [vernac] Fix bad merge which resulted in code using wrong mo...Gaëtan Gilbert
2019-07-03[vernac] Fix bad merge which resulted in wrong module name.Emilio Jesus Gallego Arias
2019-07-03Merge PR #10338: Fix #9455: avoid update_global_env when unchanged Global.uni...Emilio Jesus Gallego Arias
2019-07-03Merge PR #10467: [nix] python2 -> python3Vincent Laporte
2019-07-03Merge PR #10419: [api] Refactor most of `Decl_kinds`Gaëtan Gilbert
2019-07-02[nix] python2 -> python3Théo Zimmermann
2019-07-02[ci] Overlays for #10419Emilio Jesus Gallego Arias
2019-07-02[test-suite] Fix evil plugin after changes in declare API.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 14:21:21 +0000