The new way to generate a makefile
Fixing Canalysis_deriv

  MVT uses notions from the standard library whilst it is easier
  for us to produce evidence for notions from Coqtail.
  Ranalysis_MVT is basically repackaging MVT. It is rather tricky
  hence the definition of Ranalysis_extend extending a function
  defined on an interval by continuity.

  Lots of small lemmatas were needed to prove this theorems. They
  have been dispatched in various files.
Merge branch 'master' of github.com:coqtail/coqtail