| Age | Commit message (Collapse) | Author |
|---|
|
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).
|
|
|
|
Indeed OCaml has a similar file and this conflicts, at least in
debugger.
|
|
|
|
Make sure that when plugin writer does not use -bypass-API,
API is opened by default.
|
|
On NixOS in particular, /usr/bin/time doesn't exist.
|
|
Windows such as Search & Replace are dialogs. For some window
managers, the hint changes how the window is displayed.
|
|
Fixes bug 5597.
|
|
|
