Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revisionLast revisionBoth sides next revision | ||
tutorial:legacy [2017/05/19 16:18] – fixed some broken perl and formatting oroehrig | user_guide:tutorials:legacy [2019/02/11 16:41] – ↷ Page moved from user_guide:howto:legacy to user_guide:tutorials:legacy oroehrig | ||
---|---|---|---|
Line 51: | Line 51: | ||
< | < | ||
- | > polymake ' | + | polymake ' |
</ | </ | ||
A word of warning: It was rarely legal but always popular to edit files that '' | A word of warning: It was rarely legal but always popular to edit files that '' |