aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-08-31Merge PR #958: coq_makefile: build/use .cma for packed plugins tooMaxime Dénès
2017-08-30Merge PR #998: Avoid running interactive tests on Windows.Maxime Dénès
2017-08-29coq_makefile: fix .merlin generation (FLG -thread)Enrico Tassi
2017-08-29coq_makefile: improve documentationEnrico Tassi
2017-08-29coq_makefile: print error message when coqlib is not set properlyEnrico Tassi
2017-08-29coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxsEnrico Tassi
2017-08-29Fix deployment to multiple providers.Maxime Dénès
2017-08-29Merge PR #961: Add a set of contributing guidelinesMaxime Dénès
2017-08-29Avoid running interactive tests on Windows.Maxime Dénès
2017-08-29Merge PR #950: Rudimentary support for native_compute profiling, BZ#5170Maxime Dénès
2017-08-29Merge PR #988: Fix obsolete description of real numerals.Maxime Dénès
2017-08-29Post-merge API fix.Maxime Dénès
2017-08-29Merge PR #946: Functional pretyping interfaceMaxime Dénès
2017-08-29Merge PR #937: [general] Remove spurious dependency of highparsing on toplevel.Maxime Dénès
2017-08-29Merge PR #916: Fixing notation bug 5608 involving { } and a slight restructur...Maxime Dénès
2017-08-29Merge PR #838: Have coq-dpdgraph ci test print the differencesMaxime Dénès
2017-08-29Merge PR #830: Moving assert (the "Cut" rule) to new proof engineMaxime Dénès
2017-08-29Merge PR #819: Cleanup old thingsMaxime Dénès
2017-08-29Merge PR #805: Functional tacticsMaxime Dénès
2017-08-29Merge PR #773: [flags] Remove XML output flag.Maxime Dénès
2017-08-29Merge PR #966: Makefile : ignore user-contrib in various file searchesMaxime Dénès
2017-08-29coq_makefile: do not overwrite CAMLFLAGSEnrico Tassi
2017-08-29coq_makefile: use dedicated variable for extra packagesEnrico Tassi
2017-08-29coq_makefile: build/use .cma for packed pluginsEnrico Tassi
2017-08-29coq_makefile: test using findlib's packageEnrico Tassi
2017-08-29test-suite: depend on byte compilation tooEnrico Tassi
2017-08-29Merge PR #985: Fix coqdoc test-suite target on Windows.Maxime Dénès
2017-08-29Trying to fix deployment of master on bintray, and deploy tags to github.Maxime Dénès
2017-08-29Master now deploys 8.8+alpha.Maxime Dénès
2017-08-29Quoting notations in incompatible-level error message.Hugo Herbelin
2017-08-29A new step of restructuration of notations.Hugo Herbelin
2017-08-29Adding a test for #5569 (warning about skipping spaces).Hugo Herbelin
2017-08-29Dropping former fix to bug #5469 (notation format not recognizing curly braces).Hugo Herbelin
2017-08-29A little reorganization of notations + a fix to #5608.Hugo Herbelin
2017-08-24Update .mailmap file.Guillaume Melquiond
2017-08-22use OCaml 4.03-compatible Filename functionsPaul Steckler
2017-08-22Fix obsolete description of real numerals.Guillaume Melquiond
2017-08-21Fix coqdoc URLs under Windows.Théo Zimmermann
2017-08-21Extend .gitignore for coqdoc test-suite.Théo Zimmermann
2017-08-21Fix coqdoc test-suite target on Windows.Théo Zimmermann
2017-08-18use OCaml temp_file, instead of our own versionPaul Steckler
2017-08-18add CHANGES entryPaul Steckler
2017-08-18move filename search to start_profilerPaul Steckler
2017-08-18Merge PR #965: Moving file primitive.ml to cPrimitive.ml to avoid conflict wi...Maxime Dénès
2017-08-18Merge PR #983: Correct the option for cumulativity in CHANGESMaxime Dénès
2017-08-18Merge PR #973: Adding documentation for Printing Focused option.Maxime Dénès
2017-08-18Correct the option for cumulativity in CHANGESAmin Timany
2017-08-18Merge PR #801: Make Travis generate OSX packages.Maxime Dénès
2017-08-18Don't belittle the size of the SE communityTej Chajed
2017-08-18Separate jobs for test-suite and package building under OSX.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-30 06:45:22 +0000