]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_db_map.txt
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / mathql_db_map.txt
diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt
deleted file mode 100644 (file)
index 33db1f0..0000000
+++ /dev/null
@@ -1,26 +0,0 @@
-dbname=mowgli user=helm
-
-objectname  source       <+ 
-objectname  value        <- objectName 
-refobj                   <- refObj
-refobj      source       <- 
-refobj      h_occurrence <- refObj      h:occurrence
-refobj      h_position   <- refObj      h:position
-refobj      h_depth      <- refObj      h:depth
-refrel                   <- refRel
-refrel      source       <- 
-refrel      h_position   <- refRel      h:position
-refrel      h_depth      <- refRel      h:depth
-refsort                  <- refSort
-refsort     source       <- 
-refsort     h_sort       <- refSort     h:sort
-refsort     h_position   <- refSort     h:position
-refsort     h_depth      <- refSort     h:depth
-backpointer              <- backPointer
-backpointer source       <- backPointer h:occurrence
-backpointer h_occurrence <- 
-backpointer h_position   <- backPointer h:position
-backpointer h_depth      <- backPointer h:depth
-
-backpointer -> refobj
-            ->