coq-mathcomp/mathcomp/ssreflect/Makefile.coq-makefile, branch master Library of mathematical components formalized in Coq removing dead code + reshuffling stuff 2018-07-31T13:41:45+00:00 Cyril Cohen 2018-07-31T13:20:43+00:00 7d7b0688c818c5dde68d2b2bfc8ba3aecfe017d6 






Rework the whole Makefile architecture
2018-07-31T09:38:53+00:00

Cyril Cohen

2018-07-31T08:37:25+00:00

4199c23da311e612cb1ae45cf5519b5f3947c3b3

- Cleanup, refactoring and generalize the makefile architecture
- Reuses @strub math-comp/analysis Makefile / Makefile.common organization
- As #174, this fixes #88, but looks more stable than trying to fix the use of the MAKEFLAGS internal variable





- Cleanup, refactoring and generalize the makefile architecture
- Reuses @strub math-comp/analysis Makefile / Makefile.common organization
- As #174, this fixes #88, but looks more stable than trying to fix the use of the MAKEFLAGS internal variable







Add ssrmatching.v transitional file
2018-02-26T14:23:18+00:00

Erik Martin-Dorel

2018-02-25T22:56:29+00:00

f24095cfbe19c9ddb5ff3dee17a50f715a98acf5

The content of this file is similar to that of ssrfun.v and aims to
increase compatibility with Coq 8.6+ for third-party libraries that
depend on both math-comp and ssrmatching.v

Close #63





The content of this file is similar to that of ssrfun.v and aims to
increase compatibility with Coq 8.6+ for third-party libraries that
depend on both math-comp and ssrmatching.v

Close #63







Update v8.5 plugin to fix math-comp/math-comp#61
2017-11-13T23:23:09+00:00

Erik Martin-Dorel

2017-11-13T22:12:03+00:00

7406d43614dda186492f8e8cc184783980aaa969












fix compilation on 8.5
2017-06-09T13:41:09+00:00

Enrico Tassi

2017-06-09T13:41:09+00:00

4f6362b1b783b296f58c7dff293f68c02d015ea5












fix compilation on 8.6
2017-06-09T11:39:21+00:00

Enrico Tassi

2017-06-09T11:39:21+00:00

fd641345d0678660e60a3d81676e05e0c6d15a90












For trunk, use merged ssr plugin.
2017-06-07T09:15:26+00:00

Maxime Dénès

2017-05-03T07:32:34+00:00

96a3c59b4586164e8aa80f53f0f9031fd1167ce8












Make: avoid >> Make, pass args to coq_makefile instead (#77)
2016-10-13T12:46:16+00:00

Enrico Tassi

2016-10-13T12:46:16+00:00

fb7060ca71082911284ff6b388c3c45ef07c2723












Port build system to trunk (ssrmatching merged in Coq)
2016-06-16T09:53:53+00:00

Enrico Tassi

2016-06-16T09:53:53+00:00

0e36c8f0247cbd814cd82592e2722b052283b495












build script is now cygwin friendly
2016-01-21T15:56:48+00:00

Enrico Tassi

2016-01-21T15:56:48+00:00

481a2a3bb4902f02e816cfab162e9d88d7ce76b5

symlinks are not first class citizens on windows





symlinks are not first class citizens on windows