Comments
Throughout the development, the user can make comments. CRefine allow users to comment terms and law applications. These operations are done on the development window using its pop-up menu. If the selected term or law application does not have any associated comment, the only enabled option will be the insertion one. Otherwise, the options of removing comment, editing comment, and visualising comments will also be enabled. In the comments insertion, a small dialog box will be displayed. The user must type his comments. For comments edition and visualisation, the same window will be displayed containing the previous comment. Comments insertion and deletion can be undone/redone, but the edition only modifies the stores comment. That means comment editions do not alter the history of action done; hence, it cannot be undone/redone. After inserting a comment, a comment identifier is included in the development window at the first line of the term to which the comment has be included, or to the law application line. These identifiers are prefixed with a "C"; a roman number completes the identifier.