How do I use the Player?

The Lucid Spec Player is freely downloaded and distributed. It has a limited subset of Lucid Spec functionality. It allows you to see the Specification and simulate the application. The following sections are useful for the Lucid Spec Player:

•	Terminology

•	Navigate a Specification

•	Print a Specification

•	Simulate user interaction