Place graphical visualisation option for DSLTrans and SyVOLT in drop-down menu

mbeddr / language_verification

A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.

Other

1 stars 0 forks source link

Closed levilucio closed 7 years ago

levilucio commented 8 years ago

For now we have to go through push-hints, which is not very convenient.

salman2135 commented 7 years ago

The issue is solved, but F5 has to be pressed to update the UI