holaa como andan?
soy nuevo en linux mint 13 y tengo cinnamon esta muy bueno pero el tema que encuentro algo lenta la apertura del menu de cinnamon quisiera saber si se puede cambiar solamente el menu de cinnamon x el menu de MATE eso solamente y dejar todo el resto de cinnamon igual se puede lograr?

Otra solución es instalar alguno de los menús como applet en el panel de Cinnamon que hay en http://cinnamon-spices.linuxmint.com/applets
Eliges el menú que mas te guste ( a mi me gusta el "simplest" ) , te bajas el archivo .zip correspondiente y lo descomprimes en /home/tu_usuario/.local/share/cinnamon/applets  y luego ya podrás añadirlo como un applet mas al panel de Cinnamon.