| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
Deployment doesn't work on PRs, so I have to push it directly, sorry for
the noise.
|
|
|
|
|
|
URLs on Windows are the same as on Unix, they use / not \.
|
|
|
|
Commit 8f12597 introduced new output tests but these were broken on Windows.
We fix them by using --strip-trailing-cr option of diff, like in other
output tests in the test-suite.
|
|
with OCaml.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
trailing / and \ on windows)
|
|
|
|
|
|
|
|
|
|
Only the latter is a valid git tag, and we will soon be using those to
generate our version numbers.
|
|
The packages will be built only for main branches (not pull requests),
and are accessible via bintray: https://bintray.com/coq/coq
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
wrongly tagged as keywords
|
|
|
|
This refines e234f3ef. By the way, note that e234f3ef fixed #5391
(command line tools do not accept trailing "/" - or "\" - in windows).
|
|
|
|
This is crucial for the search for binary files without known
sources (commit 7d1fc1), since coq_makefile currently doesn't
install in user-contrib the ML sources of plugins.
This could also helps for variables such as $(EXISTINGML).
|
