| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-01-04 | [win] remove old scripts, we now use the platform ones | Enrico Tassi | |
| 2020-08-27 | [numeral] [plugins] Switch from `Big_int` to ZArith. | Emilio Jesus Gallego Arias | |
| We replace Coq's use of `Big_int` and `num` by the ZArith OCaml library which is a more modern version. We switch the core files and easy plugins only for now, more complex numerical plugins will be done in their own commit. We thus keep the num library linked for now until all plugins are ported. Co-authored-by: Vincent Laporte <Vincent.Laporte@fondation-inria.fr> | |||
| 2020-08-12 | Windows CI: changed cygwin repo server | Michael Soegtrop | |
| 2020-01-22 | Clear patches folder before each windows build run | Michael Soegtrop | |
| 2019-07-16 | Fix #9351 in master (Add Flocq, CoqInterval, Gappa tool and Gappa) | Michael Soegtrop | |
| 2019-06-11 | Resolve #9885 CoqIDE does not work on Windows | Michael Soegtrop | |
| - 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 | |||
| 2019-05-21 | Fixing typos - Part 1 | JPR | |
| 2019-03-19 | [coqide] [ci] Update GTK toolchain to lablgtk3 | Emilio Jesus Gallego Arias | |
| - Update Docker images to install compatible version of lablgtk3 - We remove unnecesary variables from configure. - We fix path detection of GTK libs in makefile | |||
| 2019-03-08 | Fix issue #9722 pkg-config not found | Michael Soegtrop | |
| 2018-12-20 | Fix line ending issues | Gaëtan Gilbert | |
| Try to mimick MSoegtropIMC (https://github.com/coq/coq/pull/9243#issuecomment-448968353 ) | |||
| 2018-12-17 | Fix git line ending conversion in windows | Gaëtan Gilbert | |
| 2018-12-12 | Fix issue #9176 : Windows: change cygwin repo | Michael Soegtrop | |
| 2018-10-01 | Fix issue 8610 - Change important CI DOS batch files to CRLF | Michael Soegtrop | |
| 2018-09-21 | Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile ↵ | Michael Soegtrop | |
| cleanup and stability and logging enhancements from v8.8 | |||
| 2018-06-25 | Fix for issue 7707: include Ltac2 and Equations in Windows build | Michael Soegtrop | |
| On the way I also fixed some minor issues with calling MakeCoq_MinGW from cygwin. | |||
| 2018-04-05 | Fixes issue #7172 (don't include MinGW make in install) | Michael Soegtrop | |
| 2018-03-02 | build: win: support for addons | Enrico Tassi | |
| 2017-12-16 | Fix build file | Jim | |
| 2017-09-21 | Do not reinstall preinstalled packages under AppVeyor. | Maxime Dénès | |
| It seems that reinstalling gcc can leave Cygwin in a strange state, where invocations of gcc fail suddenly. I haven't figure out exactly why, but this seems to fix it. | |||
| 2017-09-21 | Print Cygwin setup output rather than logging in to a file. | Maxime Dénès | |
| 2017-09-05 | In regression test mode, run cygwin setup to install dependencies. | Maxime Dénès | |
| 2017-06-26 | Fixes bug #5561,#5562 in Windows build system | Michael Soegtrop | |
| 2016-11-10 | Add Michael Soegtrop's new script to build windows installer. | Maxime Dénès | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |