git ignore para que no suba las cosas que genera el Makefile
no subir pruebas por mientas
correccion de Armando
intentos, avances y la onda
funciona el testmap3 que hizo vic
Merge kim
Merge branch 'alfonsokim-work'
Arreglo de bugs y fin del merge
Mejoras al if
Merge branch 'master' into yices-if

cambios de vic