Details. Full plan is there.
Merge branch 'master' of github.com:maximedenes/coq-8.5-demo