]> matita.cs.unibo.it Git - helm.git/tree
bugfix: when looking for a goal from the continuationals stack handle the case that...
drwxr-xr-x - helm