*** Copyright (c) SRI International 2003. ***
SALenv: SAL environment
=======================

SALenv is a set of verification tools for the SAL specification
language. 

For installation instructions, see the file INSTALL.

1. Web Resources
================

The SAL's home page is at:

  http://sal.csl.sri.com/

Please be sure to visit this site for information, documentation,
tutorials, news, etc.  All things SAL-ish are available from there.

2. Mailing Lists
================

There is a SAL developers mailing list at sal-devel@csl.sri.com. 
This is intended for discussions involving SAL. 

3. Customizing
==============

The behavior of SALenv can be customized by editing the 
~/.salrc file. Check the manual to learn about the customization
options.

4. Documentation
================

Check the `doc' subdirectory.

5. Bugs
=======
Please report problems to sal-bugs@csl.sri.com. 
Before reporting a problem, you may want to see if someone else
did already - check http://sal.csl.sri.com

Have fun,

  Leonardo de Moura
