.dsy:it. - Problemi con file Puzzle *.DFG

.dsy:it.
//www.dsy.it

Problemi con file Puzzle *.DFG

Posted by Logan12584 on 20-02-2008 21:57

Io ed alcuni miei compagni abbiamo dei problemi a far partire i file che trovate a questo URL: http://www.lsv.ens-cachan.fr/~goubault/H1.dist/dfg/PUZ/

Abbiamo provato ad eliminare spazi ed accapo e riusciamo a vedere gli assiomi e le funzioni sullo SPASS EDITOR, ma quando andiamo ad eseguire ci da un errore alla 1 o 2 riga (dipendente dal file)... non riusciamo a venirne a capo... consigli?

p.s.: ovviamente utiliziamo le librerie con il '+'

Grazie