isr_logo

Guide to the SASyLF IDE, version 1.0

navigation bar install start check dnd other

Installation and update

  • Choose the Help menu, select Software Updates, and choose the Available Software tab.
  • Click on " Add Site" and copy the following link into the location field in the dialog box:   
    http://www.cs.cmu.edu/~aldrich/SASyLF/eclipse
  • Click on " OK " to add the site.   

    •    

    <Click on any image to view it at full size>

  • Select the provided application to install.
  • Click on "Install".

    • <Click on any image to view it at full size>

How to start

  • Open "the SASyLF" perspective

    •          

    <Click on any image to view it at full size>

  • Create a new project.
  • Create a file in the project.  Make sure it has the extension ".slf" when you give the new file a name.
  • There are three ways to add files to a SASyLF project:
    a. Create a new file inside the project     b. drag a .slf file into the project    c. copy and paste a .slf file into the project

    •      

    <Click on any image to view it at full size>

How to check the proof

  • Use the "Check Proofs" button under the "SASyLF" menu
  • Alternatively, just save a .slf file, and the proofs in it will be automatically checked
  • Error messages will appear in the Problems window; you can click on any of them to jump to the error location.

    •           

    <Click on any image to view it at full size>

Drag and drop feature

  • The Templates window has a number of templates that may help you learn or remember SASyLF syntax, or just save you typing.
  • To use them, pick an appropriate template, and drag it into the editor, dropping it at the place you would like the text to appear.

    •      

    <Click on any image to view it at full size>

Others

  • Using OutlineView on the right for reference, and redirec to the specific section in the file.



  • If you have changed the layout and wish to restore the original default SASyLF perspective, right click on the "SASyLF" button on the right top corner, and select "reset" in the pop-up menu.



If you have any questions, please contact Jonathan Aldrich (jonathan.aldrich@cs.cmu.edu) or Clare Xie (yingyux@andrew.cmu.edu)
To learn more about SASyLF, see the files in the "examples" and "exercises" directory of the SASyLF distribution, or visit the SASyLF page at http://www.sasylf.org/



Back to top

Revised Oct 2008

© 2008 Jonathan Aldrich. All rights reserved.