Coq Call 2022 03 09 - coq/coq GitHub Wiki

• March 9, 2022, 4pm-5pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• #15737 At breakpoints, format goals the same way as CoqIDE usually does; redisplay the goal when the user changes display options (Jim)
• #15775 Accept \ in Windows pathnames in coq_project args (Jim)
• Switching CoqIDE to maintenance-only mode, allowing only strict bugfixes, in order to free development resources for higher priority topics (Maxime)

Notes

• [#15737] Not reconciled views about Ltac2/Ltac. Have to investigate if the proposal for the protocol change by Pierre-Marie and Emilio causes any problem.
• [#15774] is assigned now
• Switching CoqIDE to maintenance-only mode: diverging to a roadmap discussion.
  • we lacked planning for the debugger for example and how it integrates with existing work on interfaces.
  • we can discuss again the splitting of coqide if there is a critical mass to take care of maintainance, knowing that labgtk will go away at some point.