Hello world/Newbie: Difference between revisions
Content added Content deleted
m (→{{header|Coq}}) |
|||
Line 562: | Line 562: | ||
</lang> |
</lang> |
||
# Evaluate the buffer: |
# Evaluate the buffer: |
||
#* |
#* At the top of the IDE, the third icon from the left is a down arrow (↓). Press it twice to make the IDE evaluate the buffer. |
||
#* Alternatively, press the seventh icon from the left, the underlined down arrow, to evaluate the buffer at once. |
#* Alternatively, press the seventh icon from the left, the underlined down arrow, to evaluate the buffer at once. |
||
# After the evaluation, the message window returns: |
# After the evaluation, the message window returns: |