PlayGo HowTo
From WeizmannWiki
- How to create a new LSC project
- How to view a specification: in the LSC editor and in the UML editor
- How to see the locations in the LSC Editor
- How to change the way elements are shown in the LSC editor
- How to play-in
- How to change a play-out strategy
- How to generate a Tracer log
- How to create an LSC specification using the Java API
- How_to_define_play-in-able_Swing_GUI_application
- How to run an LSC project outside the context of PlayGo
