Revision as of 09:14, 19 September 2021 (view source) JulianM (talk \| contribs) (→‎{{header\|Coq}}) ← Older edit		Revision as of 09:19, 19 September 2021 (view source) JulianM (talk \| contribs) m (→‎{{header\|Coq}}) Newer edit →
Line 562: </lang> # Evaluate the buffer: #On 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. # After the evaluation, the message window returns:

Hello world/Newbie: Difference between revisions

Hello world/Newbie (view source)