Agregar menú para insertar pruebas por inducción

alexgadea / fun-gui

fun-gui es la interfaz grafica para fun

GNU General Public License v3.0

1 stars 0 forks source link

Closed miguelpagano closed 8 years ago

miguelpagano commented 10 years ago

Actualmente hay varios ítems para agregar distintos tipos de declaraciones, queremos lo mismo pero para esquemas de pruebas por inducción.

miguelpagano commented 8 years ago

Won't fix. Eliminamos el menu para insertar declaraciones.