aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* [ci] Avoid annoying detached head warning.Gravatar Emilio Jesus Gallego Arias2018-07-04
* Merge PR #7978: [ci] [docker] Make sure we don't install optional packages wi...Gravatar Gaëtan Gilbert2018-07-03
|\
* \ Merge PR #7607: Simplify reification of predicate in bytecode and native comp...Gravatar Pierre-Marie Pédrot2018-07-03
|\ \
* \ \ Merge PR #7820: [hints] Add Hint Variables/Constants Opaque/Transparent commandsGravatar Pierre-Marie Pédrot2018-07-03
|\ \ \
* \ \ \ Merge PR #7942: Extend readme with 'beginners guide'Gravatar Théo Zimmermann2018-07-03
|\ \ \ \
* \ \ \ \ Merge PR #7974: Fix default.nix following a package renaming.Gravatar Vincent Laporte2018-07-03
|\ \ \ \ \
* \ \ \ \ \ Merge PR #7977: allow `make check` to succeed when -prefix is given to ./conf...Gravatar Emilio Jesus Gallego Arias2018-07-03
|\ \ \ \ \ \
| | | | | | * [ci] [docker] Make sure we don't install optional packages with apt.Gravatar Emilio Jesus Gallego Arias2018-07-02
* | | | | | | Merge PR #7703: Add an option to force parameters to be uniformGravatar Matthieu Sozeau2018-07-02
|\ \ \ \ \ \ \
| | | | | * | | Add Equations overlayGravatar Matthieu Sozeau2018-07-02
* | | | | | | | Merge PR #7969: doc: typesetting and hyperlinks in Syntax ExtensionsGravatar Théo Zimmermann2018-07-02
|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ Merge PR #7965: doc: Fix typesetting in Gallina extensionsGravatar Théo Zimmermann2018-07-02
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|/ |/| | | | | | | |
| | | | | | * | | Clean up documentation around beginner's guide.Gravatar Siddharth Bhat2018-07-02
| |_|_|_|_|/ / / |/| | | | | | |
| | | | * | | | [envars] honor env variable COQLIBGravatar Enrico Tassi2018-07-02
| | | | | | * | hints: add Hint Variables/Constants Opaque/Transparent commandsGravatar Matthieu Sozeau2018-07-02
| |_|_|_|_|/ / |/| | | | | |
* | | | | | | Merge PR #7902: Use a homebrew parser to replace the GEXTEND extension points...Gravatar Emilio Jesus Gallego Arias2018-07-02
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | |
* | | | | | | Merge PR #7961: [api] Fix wrong deprecation warning (#7915)Gravatar Enrico Tassi2018-07-02
|\ \ \ \ \ \ \
| | | | | | * | Adding back ocp-index to default.nix.Gravatar Théo Zimmermann2018-07-02
| | | | | | * | Fix default.nix following a package renaming.Gravatar Théo Zimmermann2018-07-02
| |_|_|_|_|/ / |/| | | | | |
| | | | | * | Document option Uniform Inductive ParametersGravatar Jasper Hugunin2018-07-01
| | | | | * | Add test for Uniform Inductive ParametersGravatar Jasper Hugunin2018-07-01
| | | | | * | Add flag Uniform Inductive ParametersGravatar Jasper Hugunin2018-07-01
| | | | | * | Implement uniform parameters in ComInductiveGravatar Jasper Hugunin2018-07-01
| |_|_|_|/ / |/| | | | |
| * | | | | [api] Fix wrong deprecation warning (#7915)Gravatar Emilio Jesus Gallego Arias2018-07-01
|/ / / / /
* | | | | Merge PR #7964: Document that GITURL variables shouldn't have a trailing .git...Gravatar Emilio Jesus Gallego Arias2018-07-01
|\ \ \ \ \
* \ \ \ \ \ Merge PR #7410: Splitting primitive numeral parser/printer for positive, N, Z...Gravatar Emilio Jesus Gallego Arias2018-07-01
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #7760: Fixes #7712 (an anomaly in reporting bad recursive notation f...Gravatar Emilio Jesus Gallego Arias2018-07-01
|\ \ \ \ \ \ \
* \ \ \ \ \ \ \ Merge PR #7759: Workaround to fix #7731 (printing not splitting line at break...Gravatar Emilio Jesus Gallego Arias2018-07-01
|\ \ \ \ \ \ \ \
| | | | | | | * | doc: typesetting and hyperlinks in Syntax ExtensionsGravatar Lysxia2018-06-30
* | | | | | | | | Merge PR #7960: [build] Remove target binary before copy.Gravatar Enrico Tassi2018-06-30
|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ Merge PR #7949: Split the Ssrmatching module between code and grammar rules.Gravatar Enrico Tassi2018-06-30
|\ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|/ / |/| | | | | | | | |
| * | | | | | | | | Split the Ssrmatching module between code and grammar rules.Gravatar Pierre-Marie Pédrot2018-06-30
|/ / / / / / / / /
| | | | | | * | | Adding an overlay for the PR.Gravatar Pierre-Marie Pédrot2018-06-29
| | | | | | * | | Documenting the transition strategy of GEXTEND.Gravatar Pierre-Marie Pédrot2018-06-29
| | | | | | * | | Port g_tactic to the homebrew GEXTEND parser.Gravatar Pierre-Marie Pédrot2018-06-29
| | | | | | * | | Port g_toplevel to the homebrew GEXTEND parser.Gravatar Pierre-Marie Pédrot2018-06-29
| | | | | | * | | Port g_vernac to the homebrew GEXTEND parser.Gravatar Pierre-Marie Pédrot2018-06-29
| | | | | | * | | Port g_proofs to the homebrew GEXTEND parser.Gravatar Pierre-Marie Pédrot2018-06-29
| | | | | | * | | Port g_constr to the homebrew GEXTEND parser.Gravatar Pierre-Marie Pédrot2018-06-29
| | | | | | * | | Port g_prim to the homebrew GEXTEND parser.Gravatar Pierre-Marie Pédrot2018-06-29
| | | | | | * | | Use a homebrew parser to replace the GEXTEND extension points of Camlp5.Gravatar Pierre-Marie Pédrot2018-06-29
| |_|_|_|_|/ / / |/| | | | | | |
| | | | | | * | doc: Fix typesetting in Gallina extensionsGravatar Lysxia2018-06-29
| |_|_|_|_|/ / |/| | | | | |
| | | | | * | Document that GITURL variables shouldn't have a trailing .git anymore.Gravatar Théo Zimmermann2018-06-29
| |_|_|_|/ / |/| | | | |
* | | | | | Merge PR #7918: Mini-update of version history with recent changes.Gravatar Théo Zimmermann2018-06-29
|\ \ \ \ \ \
| | | | | * | Splitting primitive numeral parser/printer for positive, N, Z into three files.Gravatar Hugo Herbelin2018-06-29
| | | * | | | Workaround to fix #7731 (printing not splitting line at break hint).Gravatar Hugo Herbelin2018-06-29
| | | | |/ / | | | |/| |
| | | | * | Fixes #7712 (an anomaly in reporting bad recursive notation format).Gravatar Hugo Herbelin2018-06-29
| | | |/ /
* | | | | Merge PR #7080: Swapping Context and Constr and defining declarations on cons...Gravatar Maxime Dénès2018-06-29
|\ \ \ \ \
| | | * | | [build] Remove target binary before copy.Gravatar Emilio Jesus Gallego Arias2018-06-29
| |_|/ / / |/| | | |
* | | | | Merge PR #7890: Inline a function from Quote used in setoid_ring.Gravatar Maxime Dénès2018-06-29
|\ \ \ \ \