]> matita.cs.unibo.it Git - helm.git/tree
Bug fixed: if the context of a sequent was empty a vertical box without content
drwxr-xr-x - helm