In addition to the proposed -B falg it might be a good idea to also implement a separate flag to ignore build-INDEP-relations. This functionality would be needed anyway in order to implement the -B flag -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]