]> matita.cs.unibo.it Git - helm.git/tree
An "assert false" used to be raised when matitac was started on an empty file.
drwxr-xr-x - helm