Text editing

As all programs are ultimately displayed by ctedit's, text fragments edited outside of a ctedit must be parsed before pieces of abstract syntax tree may be redisplayed in a ctedit. After using any of the following text editing facilities, text is reparsed and, if correct, inserted at the current location.


                  



Tutorial