WIP: Introducing blockly-like script presentation

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)

GNU General Public License v3.0

4 stars 0 forks source link

Closed mattulbrich closed 3 years ago

mattulbrich commented 4 years ago

This is work in progress for a replacement of the script pane.

What is the interplay between script pane and the new pane?

mattulbrich commented 3 years ago

Has been integrated into vsDev. Not to be merged.