Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revisionBoth sides next revision | ||
user_guide:shell [2021/01/12 15:53] – [Switching between applications] gawrilow | user_guide:shell [2021/01/12 15:54] – [History and replaying] gawrilow | ||
---|---|---|---|
Line 45: | Line 45: | ||
:: appends the commands stored in the given file to the history, rewinds back to the first of them, and turns on the replay mode. This command is especially useful for making live demos with polymake, as you can prepare and test your input in advance and don't have to waste your time for typing during the presentation. | :: appends the commands stored in the given file to the history, rewinds back to the first of them, and turns on the replay mode. This command is especially useful for making live demos with polymake, as you can prepare and test your input in advance and don't have to waste your time for typing during the presentation. | ||
| | ||
- | Finally, let's mention two [[howto: | + | Finally, let's mention two [[user_guide:howto: |
? '' | ? '' |