]> matita.cs.unibo.it Git - helm.git/tree
Bug fixed: instead of generating "not ()", I generate "true" (for PostGresql)
drwxr-xr-x - CVSROOT
drwxr-xr-x - helm