]> matita.cs.unibo.it Git - helm.git/blob - metadata/README
All names are now qualified. This avoids the need for "open" statements.
[helm.git] / metadata / README
1 To generate the metadata and refill the DB:
2
3 make indexes
4 make fill_db.sql
5 make drop_tables
6 make create_tables
7 make fill_db
8 cd dc
9 make drop_tables
10 make create_tables
11 make fill_db