]> matita.cs.unibo.it Git - helm.git/commit
no_inconcl_aux managed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Oct 2004 09:32:53 +0000 (09:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Oct 2004 09:32:53 +0000 (09:32 +0000)
commitc73f6a661af7adbf91370232b555f31d413ce6ac
treefa7e6b452618195f782096469caf977c2c060ea2
parentb7c3d2c30326b54f8126b578503acc4a53440936
no_inconcl_aux managed
helm/metadata/sql/create_mowgli_tables.sql
helm/metadata/sql/drop_mowgli_tables.sql