From 5792131774a4fea8a9477bbcb25876895b5225ec Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 26 Oct 2007 10:14:01 +0000 Subject: [PATCH] we use ulex08 not ulex --- helm/software/configure.ac | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/configure.ac b/helm/software/configure.ac index 4e7814399..3370b61b2 100644 --- a/helm/software/configure.ac +++ b/helm/software/configure.ac @@ -5,7 +5,7 @@ AC_INIT(matita/matitaTypes.ml) DEBUG_DEFAULT="true" DEFAULT_DBHOST="mysql://mowgli.cs.unibo.it" RT_BASE_DIR_DEFAULT="`pwd`/matita" -MATITA_VERSION="0.3.0" +MATITA_VERSION="0.4.0" DISTRIBUTED="no" # "yes" for distributed tarballs # End of distribution settings @@ -66,7 +66,7 @@ lablgtkmathview \ lablgtksourceview \ mysql \ netstring \ -ulex \ +ulex08 \ zip \ " -- 2.39.2