MSC Execute Projekt Seite

Die Projektseiten werden veröffentlicht.

Das Projekt wird zum "Download" bereit gestellt.

Die Diplomarbeit ist veröffentlicht.

Nichtdeterministische Alternativen können nun auf Wunsch vom Benutzer entschieden werden.
(Starte das MSC mit der Option "-manualChoice")
Weitere Fehler wurden behoben.