Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
tutorial:legacy [2017/05/19 16:18] – fixed some broken perl and formatting oroehrig | user_guide:howto:legacy [2019/01/25 13:40] – ↷ Page moved from user_guide:legacy to user_guide:howto: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 '' |