From: Claudio Sacerdoti Coen Date: Tue, 24 Feb 2004 14:53:06 +0000 (+0000) Subject: MySQL is case sensitive. X-Git-Tag: v0_0_4~91 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=330d38a70331b13205cd3aabc420b3a112819346;p=helm.git MySQL is case sensitive. --- diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt index 60423248c..a7e99985c 100644 --- a/helm/mathql_db_map.txt +++ b/helm/mathql_db_map.txt @@ -1,24 +1,24 @@ -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 +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 +backPointer -> refObj ->