ProB 2.0 Atom UI

Currently this is just a playground for the development of the ProB 2.0

You probably don't find it useful at the moment!