coq/dev/build/windows/patches_coq, branch masterThe formal proof system[win] remove old scripts, we now use the platform ones2021-01-04T09:18:25+00:00Enrico Tassi2020-12-08T14:33:21+00:00fa7c0f9d55a5a33a0f76ddb0c5794a06117c6914
Fix issue #13065 - Windows CI broken2020-09-23T20:06:36+00:00Michael Soegtrop2020-09-23T20:06:36+00:00768af575bd6336665c094bf6fd8de3d5daf2636b
chmod -x some files2019-10-07T22:59:02+00:00Jason Gross2019-10-07T22:59:02+00:00d532a641a202627753b931fabe2b22b2afb4c0f5
They probably don't need to be executable
They probably don't need to be executable
Removed patches for Flocq, Interval and Gappa (merged upstream)2019-07-19T10:01:59+00:00Michael Soegtrop2019-07-19T10:01:59+00:007341d286d4a9b440810097352fe257e476a8903c
Fixed Windows patch for Quickchick2019-07-17T18:58:11+00:00Michael Soegtrop2019-07-17T18:58:11+00:00b349791f7d683f25a79081082218d78fa01b408f
Adjust VST patch to latest changes in VST2019-07-17T15:11:41+00:00Michael Soegtrop2019-07-17T15:05:04+00:00a029e231f7f2e22b36f662e6e488815ef273b107
Removed patch for Gappa tool (verified that changes in gappa master fixed the windows crash)2019-07-16T18:12:00+00:00Michael Soegtrop2019-07-16T18:12:00+00:0072d93ff7ea837b2d70dfff0ef3fe90749609e1be
Fix #9351 in master (Add Flocq, CoqInterval, Gappa tool and Gappa)2019-07-16T15:44:03+00:00Michael Soegtrop2019-07-16T15:44:03+00:001da90e3c1842463f2c64939d800d7c39a0c75f4b
Resolve #9885 CoqIDE does not work on Windows2019-06-11T13:00:25+00:00Michael Soegtrop2019-06-09T18:07:59+00:00a5c2268a4d2b314990a2148ad5161cc3c2eeb96e
- Switch gtksourceview to 3.24.11
- Add appropriate set of icons and some other files GTK3 requires
- Add fix for ocamldebug so that this can be debugged
- Switch gtksourceview to 3.24.11
- Add appropriate set of icons and some other files GTK3 requires
- Add fix for ocamldebug so that this can be debugged
Fixing typos - Part 12019-05-21T21:07:55+00:00JPR2019-05-21T21:07:55+00:00e6322e23958a937fa01960f8ce320717b9863253