aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-03-20[misc] Remove warnings about String.setEmilio Jesus Gallego Arias
2017-03-14[safe-string] Enable -safe-string !Emilio Jesus Gallego Arias
2017-03-14[safe-string] toolsEmilio Jesus Gallego Arias
2017-03-14[safe-string] ideEmilio Jesus Gallego Arias
2017-03-14[safe-string] plugins/extractionEmilio Jesus Gallego Arias
2017-03-14[safe-string] ltac/profile_ltacEmilio Jesus Gallego Arias
2017-03-14[safe_string] toplevel/vernacEmilio Jesus Gallego Arias
2017-03-14[safe_string] toplevel/coqloopEmilio Jesus Gallego Arias
2017-03-14[safe-string] parsing/cLexerEmilio Jesus Gallego Arias
2017-03-14[safe_string] interp/dumpglobEmilio Jesus Gallego Arias
2017-03-14[safe_string] library/nameopsEmilio Jesus Gallego Arias
2017-03-14[safe_string] kernel/cemitcodesEmilio Jesus Gallego Arias
2017-03-14[safe-string] kernel/nativevaluesEmilio Jesus Gallego Arias
2017-03-14[safe_string] kernel/term_typingEmilio Jesus Gallego Arias
2017-03-14[safe-string] lib/miscelaneaEmilio Jesus Gallego Arias
2017-03-14[safe-string] lib/cUnixEmilio Jesus Gallego Arias
2017-03-14[safe_string] lib/cThreadEmilio Jesus Gallego Arias
2017-03-14Merge PR#432: [cleanup] Change Id.t option to Name.t in TacFunMaxime Dénès
2017-03-14Merge PR#477: [travis] Basic support for overlays.Maxime Dénès
2017-03-14Merge PR#473: [ci] Document that sudo: false is slowerMaxime Dénès
2017-03-14Merge PR#464: [META] More fixesMaxime Dénès
2017-03-14Merge PR#446: Remove a dead exception catching code.Maxime Dénès
2017-03-13[travis] Basic support for overlays.Emilio Jesus Gallego Arias
2017-03-13Remove a dead exception catching code.Théo Zimmermann
2017-03-13Merge PR#456: Proposing improvement to the CI targets for local useMaxime Dénès
2017-03-12Updating core.dbg after ltac moved to plugins directory.Hugo Herbelin
2017-03-10[travis] Make the git_checkout function more reliable.Théo Zimmermann
2017-03-10[travis] Adding a template file and using it for all targets.Théo Zimmermann
2017-03-10[travis] Change headband for wider compatibility.Théo Zimmermann
2017-03-10Improve build of travis target on local machine.Théo Zimmermann
2017-03-10[ci] Document that sudo: false is slowerTej Chajed
2017-03-10[META] [build] Install dlls to kernel/byterunEmilio Jesus Gallego Arias
2017-03-10[META] Ltac now a plugin.Emilio Jesus Gallego Arias
2017-03-10[META] Update version number.Emilio Jesus Gallego Arias
2017-03-10Merge PR#468: [travis] Fix GeoCoq and move it to allow fail.Maxime Dénès
2017-03-09Typo doc notations.Hugo Herbelin
2017-03-09Clarifying doc about interpretation of scopes in notations (#5386).Hugo Herbelin
2017-03-09[travis] Move GeoCoq to allow fail.Emilio Jesus Gallego Arias
2017-03-09Merge PR#318: Providing a file in the Logic library to work with extensional ...Maxime Dénès
2017-03-09Micromega: removing a constant preventing micromega to be loaded before Logic.v.Hugo Herbelin
2017-03-09Fixing dependency order of plugins.Hugo Herbelin
2017-03-07Fixing Bug 5383 (Hyps Limit) + small refactoring.Pierre Courtieu
2017-03-07Merge PR#436: [ocamlbuild] Update META for the vernac split.Maxime Dénès
2017-03-06Merge PR#447: [travis] [External CI] fiat-parsersMaxime Dénès
2017-03-06Merge PR#279: A few lemmas about iff and about orders on positive and ZMaxime Dénès
2017-03-03CHANGES: choice over setoids and prop. ext.Hugo Herbelin
2017-03-03Strengthening some of the results in ChoiceFacts.v.Hugo Herbelin
2017-03-03Adding explicitly a file to work in the context of propositional extensionality.Hugo Herbelin
2017-03-03Adding a file providing extensional choice (i.e. choice over setoids).Hugo Herbelin
2017-03-03Adding various properties and characterization of the extensionalHugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 18:38:07 +0000