]> matita.cs.unibo.it Git - helm.git/commit
packege dependences calculation patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Feb 2003 11:42:52 +0000 (11:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Feb 2003 11:42:52 +0000 (11:42 +0000)
commit3125d5e40d2671c70b93f6f74e1d179d1922a791
tree24f8cf494990566dc165b404fd7e55550f628f12
parent8335f6c45ef87edd700b898e91489eb9cb551304
packege dependences calculation patched
helm/ocaml/mathql/.depend [deleted file]
helm/ocaml/mathql_interpreter/.depend [deleted file]