This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:start-here [2013/08/23 10:19] alex [Welcome to MAGIK's documentation!] |
magik-demo:start-here [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| The latest version of **MAGIK** is available at [[http://magik-demo.inf.unibz.it|http://magik-demo.inf.unibz.it]]. \\ | The latest version of **MAGIK** is available at [[http://magik-demo.inf.unibz.it|http://magik-demo.inf.unibz.it]]. \\ | ||
| - | {{:magik-demo:main1.png?&400 |Screenshot of MAGIK demo |}} | + | {{:magik-demo:main1.png?&500 |Screenshot of MAGIK demo |}} |
| - | {{:magik-demo:main2.png?&400 |Screenshot of MAGIK demo |}} | + | {{:magik-demo:main2.png?&500 |Screenshot of MAGIK demo |}} |
| ==== MAGIK for Users ==== | ==== MAGIK for Users ==== | ||
| Line 25: | Line 25: | ||
| * [[magik-demo:developer:magik-code-browse|Browse code]] | * [[magik-demo:developer:magik-code-browse|Browse code]] | ||
| | | ||
| + | |||