]> matita.cs.unibo.it Git - helm.git/commit
fixed new compilation order
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 12 Apr 2006 21:17:18 +0000 (21:17 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 12 Apr 2006 21:17:18 +0000 (21:17 +0000)
commit315209808bd99ed49545eed2a99f4c3df51497d4
tree551225ee8ee3e4655ef4b29d1552d821e734feeb
parentb74ab91d1db4b1b88471fc47460b6be15a58b162
fixed new compilation order
helm/software/matita/.depend
helm/software/matita/Makefile