Rodin Handbook





 

4.3.13 How can I use multiple lines for a comment, predicate or expression (using the new editor)?

To insert a line break while editing any field, use Ctrl-Return.