]> matita.cs.unibo.it Git - helm.git/commit
we use ulex08 not ulex
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Oct 2007 10:14:01 +0000 (10:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Oct 2007 10:14:01 +0000 (10:14 +0000)
commit11692b214b71e211b4e08739dd8488481ac8d4df
tree3ab93cbe64e81e09c9fa2d87d3d586a43225b6d4
parent61b565d1306b7ab37e436d9fc73e4b1560214664
we use ulex08 not ulex
configure.ac