coq-mathcomp/mathcomp/all, branch master Library of mathematical components formalized in Coq fixing local Makefile 2018-10-31T13:29:19+00:00 Cyril Cohen 2018-10-31T13:29:19+00:00 143c70bacc3298be2a48fe65cc669dfb2409c610 should fix #238 
should fix #238
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
fix building with make flags 2017-10-10T11:23:30+00:00 Ralf Jung 2017-10-10T11:23:30+00:00 e888516870ef592d0f7da74f8138e478d6114b05 Fixes #139 
Fixes #139
merge basic/ into ssreflect/ 2015-11-05T15:26:24+00:00 Enrico Tassi 2015-11-05T10:36:58+00:00 14c9a3a752e8c21b239ff0800089271c5a5ddfb2 






Updating files + reorganizing everything
2015-07-17T16:03:31+00:00

Cyril Cohen

2015-07-17T16:03:31+00:00

532de9b68384a114c6534a0736ed024c900447f9












Using the From X Require Y for v8.4
2015-04-09T11:53:46+00:00

Cyril Cohen

2015-04-09T11:53:46+00:00

634ee874ec11a5a90617ca5723228d4de1fe479c












makefiles that are version dependent
2015-04-08T11:38:41+00:00

Cyril Cohen

2015-04-08T11:38:41+00:00

737f79e968a4832d15f6eb93b5bf24c0267fbecb












packaging all
2015-04-02T10:50:02+00:00

Cyril Cohen

2015-04-02T10:50:02+00:00

d226438118e60bc04075c2ef62d61bffe5d72beb












packaging fingroup and algebra
2015-03-19T14:51:00+00:00

Cyril Cohen

2015-03-19T14:51:00+00:00

0d2a1e7388d45776700c4400781e1aa71a0f0060

The files zmodp and cyclic in fingroup had dependecies in algebra so I put them there.
I'm not convinced it's the best solution to this problem.
Maybe more subdivisions in algebra would bring a better solution?

(Maybe we should send the whole problem to a solver? :P)





The files zmodp and cyclic in fingroup had dependecies in algebra so I put them there.
I'm not convinced it's the best solution to this problem.
Maybe more subdivisions in algebra would bring a better solution?

(Maybe we should send the whole problem to a solver? :P)