User Manual of the RODIN Platform
User Manual of the RODIN Platform
User Manual of the RODIN Platform
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
After pressing that button, <strong>the</strong> following wizard pops up:<br />
You can <strong>the</strong>n enter <strong>the</strong> <strong>the</strong>orems you want. If more <strong>the</strong>orems are needed <strong>the</strong>n press ”More”. When you<br />
are finished, press ”OK”.<br />
2.5.2 Direct Editing <strong>of</strong> Theorems.<br />
It is also possible to create (button ”Add”) or remove (button ”Delete”) <strong>the</strong>orems by using <strong>the</strong> central<br />
editing window. For this, you have first to select <strong>the</strong> ”Theorems” tab <strong>of</strong> <strong>the</strong> editor. You can also change<br />
<strong>the</strong> relative place <strong>of</strong> a <strong>the</strong>orem: first select it and <strong>the</strong>n press button ”Up” or ”Down”.<br />
14