Hola xavivars:
Si quieres cambiar un atributo "class" con javascript, la manera estandar para todos los navegadores es mediante className...
prueba con:
Código PHP:
function canvia(num,dins) {
if(dins)
document.getElementById("m"+num).className = "taula2";
else
document.getElementById("m"+num).className = "taula1";
}
Saludos