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 | ||
extensions:tropicalquarticcurves [2021/12/07 14:29] – panizzut | extensions:tropicalquarticcurves [2021/12/08 14:58] – panizzut | ||
---|---|---|---|
Line 18: | Line 18: | ||
After download you first need to extract the code. | After download you first need to extract the code. | ||
< | < | ||
- | tar Jxpf TropicalQuarticCurves-0.1.tar.xz | + | tar Jxpf tropicalquarticcurves-0.1.tar.xz |
</ | </ | ||
- | Suppose this ends up at ''/ | + | Suppose this ends up at ''/ |
< | < | ||
import_extension "/ | import_extension "/ |