coq/doc/refman, branch master The formal proof system Remove a dead old-refman file. 2018-05-21T10:16:19+00:00 Théo Zimmermann 2018-05-21T10:16:19+00:00 07aa836ac323bb0898e063d0e54f29e456dac809 






Remove LaTeX refman, now that migration to Sphinx is complete
2018-04-16T16:16:37+00:00

Maxime Dénès

2018-04-16T16:16:37+00:00

72c35b310a7b8a23934a1e9632d4d989c184d0d7












[Sphinx] Move chapter 9 to new infrastructure.
2018-04-14T13:04:04+00:00

Théo Zimmermann

2018-04-12T22:03:38+00:00

f6112493ffe08064db480341e3f2b60bff22e0cf












[Sphinx] Move chapter 1 to new infrastructure
2018-04-13T08:35:17+00:00

Maxime Dénès

2018-04-09T11:22:00+00:00

3bda731dacad8826e0a05d14b5cf935fedf4f4c6












[Sphinx] Move chapter 29 to new infrastructure
2018-04-11T15:56:55+00:00

Maxime Dénès

2018-03-29T16:20:33+00:00

068dfb13db8b8801a1b5f7694a3fe90d640c7577












[Sphinx] Move chapter 6 to new infrastructure
2018-04-10T17:23:07+00:00

Maxime Dénès

2018-03-15T08:44:15+00:00

8fbe7741c3e374a2a15adf68a59824f4190b7e20












[Sphinx] Add chapter 15
2018-04-10T14:33:05+00:00

Laurent Théry

2018-03-15T13:10:53+00:00

956b36b6313000da84a2e2b241823cce60748daa

Thanks to Laurent Théry for porting this chapter.





Thanks to Laurent Théry for porting this chapter.







[Sphinx] Move chapter 15 to new infrastructure
2018-04-10T13:54:57+00:00

Maxime Dénès

2018-03-15T09:00:00+00:00

af4c91877bb8a34b8f1d0b2c01ed1940ab33514f












[Sphinx] Move chapter 7 to new infrastructure
2018-04-09T07:07:12+00:00

Maxime Dénès

2018-04-03T12:05:50+00:00

ca7a7ffbf5e0576e2a50052e644c1d067843fddf












[Sphinx] Move chapter 30 to new infrastructure
2018-04-05T06:36:57+00:00

Maxime Dénès

2018-03-30T15:34:50+00:00

ad702b290fcee29305b8a83b7530e24d655b2d7d