]> matita.cs.unibo.it Git - helm.git/tree
If a pretty printed term spans on multiple lines, then it is printed after
drwxr-xr-x - helm