next up previous
Next: Bibliography Up: SLs: User's Guide (Still Previous: Example of a session

Snapshots of a session

Figures 1, 2, 3, 4and 5 at the end of the document show some snapshots of the graphical interface.

Figure 1: Operations on the current term and the current automaton
0.60 snapshot1.eps

Figure 2: Boolean operations on automata
0.60 snapshot2.eps

Figure 3: Call by need queries
0.60 snapshot3.eps

Figure 4: Call by need queries
0.60 snapshot4.eps

Figure 5: Call by need queries
0.60 snapshot5.eps