|Date||27 February 2022, 12:00 CEST|
|Participants||HDM,PGL,TO,KP,LF,NB Minutes by TO|
Nick Battle, Anne Haxthausen, Ken Pierce, Hugo Daniel Macedo, Leo Freitas and Tomohiro Oda are elected as language board memers.
The full list of open issues is here.
Progress was made on clarifying/unifying the let/def behaviours among different tools.
No major progress
The second revision of ViennaTalk Boulder has been released. (Feb 25, 2022)
There has been a request to publish overture with annotations as an artifact. We will look into this.
Jonas has been refactoring and extending the features of VSCode. Leo visited AU and progress was made in terms of supporting the isabelle translation and other related proof support.
See download stats on the downloads page
For VSCode see status on the extension page
This year’s workshop page.
The Strategic Research Agenda is reviewed every other NetMeeting. No progress this time.