Date: | 2018, May 30 |
Author: | Grimm, Claudius |
Title: | A New GUI for Hets |
In this talk I will present my progress towards a new GUI for hets. The new interface is more modern and intuitive than the old one and explores new ways of displaying development graphs.