+ Modificada la clase Output para satisfacer la nueva ubicación de undo y redo. El método publishOutput( ) queda como publishOutput(String text, String title). Si el título es vacío el archivo se nombra como Syntax.
+ Cambiada la extension del fichero a .stx