• Presentation by Arnaud Spiwack of his new-tacticals branch
• About new "refine"
• Multiple successes and deep backtracking
• About performance loss
• Basic components of the new monadic approach to writing tactics
• Multiple goals
• Future
• Schedule
• Miscellaneous discussions
• Coqdoc
• Roadmap for 8.5
• Automatic patch level releases
• Bug squash party