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

Snapshots of a session

Figures 1, 2 and 3 at the end of the document show some snapshots of the graphical interface.
Figure 1: Operations on the current term and the current automaton
\begin{figure}\psfig{figure=sc1.ps}\end{figure}
Figure 2: Boolean operations on automata
\begin{figure}\psfig{figure=sc2.ps}\end{figure}
Figure 3: Call by need queries
\begin{figure}\psfig{figure=sc3.ps}\end{figure}



Irene DURAND
2005-02-01