* More code in the direction of a fully functional matita status, that
improved undo reliability in the parser/notation modules
* matitac was seldom compiling up-to-date files, fixed
* More code in the direction of a fully functional matita status, that
improved undo reliability in the parser/notation modules
* matitac was seldom compiling up-to-date files, fixed