]> matita.cs.unibo.it Git - helm.git/tree
* 'default "equality"' command changed to consider also
drwxr-xr-x - helm