| SPECFE: a User Friendly Front End to Spec | ||
|---|---|---|
| <<< Previous | Next >>> | |
This section contains information about possible problems you may encounter during the operation of Specfe. There is a separate section Possible errors during compilation describing possible problems during installation.
| <<< Previous | Home | Next >>> |
| More general customizing of the specfe user interface | Detailed Installation Instructions |