Skip to content

Commit

Permalink
Update Net-Meeting-140.md
Browse files Browse the repository at this point in the history
  • Loading branch information
nickbattle authored May 21, 2024
1 parent 797b068 commit f9d6273
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions _netmeetings/Net-Meeting-140.md
Original file line number Diff line number Diff line change
Expand Up @@ -35,11 +35,15 @@ See [Net Meeting Actions](https://github.com/overturetool/overturetool.github.io

#### VDMJ


* Fixed Java 20+ bug, caused by the deprecation of the ThreadDeath exception
* Updated documentation and wiki for recent enhancements
* Allow various operators (like `duration` and starting threads) to be prohibited during spec initialization.

#### VSCode Extension


* Enhanced the POG GUI to include QuickCheck features, allowing counterexamples to be executed/debugged directly from the GUI.
* Simplify and unify the VSCode classpath handling for libraries, plugins and annotations, allowing them all to be configured via the UI.
* A beta release VSIX is available for trying :-)

#### LSP Server

Expand Down

0 comments on commit f9d6273

Please sign in to comment.