This is an old revision of the document!
{{url>http://www.inf.unibz.it/~savkovic/websvn/listing.php?repname=MAGIK-SVN}}