]> matita.cs.unibo.it Git - helm.git/blob - helm/hxp/EXAMPLE.txt
metadata are no longer stored in .moo files.
[helm.git] / helm / hxp / EXAMPLE.txt
1 On mowgli.cs.unibo.it this line outputs the names' list in a format suitable for
2 Postgres. Each line of this list contains a uri and its short name separated by
3 a tab character (as produced by pg_dump). see hxp --help for details. 
4
5 hxp.opt -l /projects/helm/EXPORT/examples_mowgli/objects -r pg-names