]> matita.cs.unibo.it Git - helm.git/commit
structurated attribute names added
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Nov 2002 12:34:51 +0000 (12:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Nov 2002 12:34:51 +0000 (12:34 +0000)
commit856dc227c9781439a31d03f5b68d32a41db63ab9
treed1996204f5a6f649b8caaf96118d0d7c08dd4cb3
parentba64642ca7771cd9cc7b9f73476c8f608ffeeda5
structurated attribute names added
helm/ocaml/mathql/mQueryTParser.mly
helm/ocaml/mathql/mQueryUtil.ml
helm/ocaml/mathql/mathQL.ml
helm/ocaml/mathql_interpreter/attribute.ml
helm/ocaml/mathql_interpreter/attribute.mli
helm/ocaml/mathql_interpreter/mqint.ml
helm/ocaml/mathql_interpreter/relation.ml
helm/ocaml/mathql_interpreter/relation.mli