SASyLF 1.0.2 (uwm 6) beta available

[Jonathan Aldrich]

SASyLF (uwm 6) was completed with help from John Boyland (boyland at
uwm dot edu) who implemented the following enhancements:
-- substitution, exchange and weakening are all checked
-- mutual induction is checked
-- SASyLF files are read in UTF-8 and may use unicode for identifiers
and operators

If you'd like to try this beta release, use the Google Code repository
to fetch the latest source:

svn checkout http://sasylf.googlecode.com/svn/trunk/ sasylf-read-only
(cd sasylf-read-only; make build)

Report bugs using Google Code. If the beta looks stable we'll prepare
a zipped release like the 1.0.2 zip at sasylf.org for convenience.

Thanks, especially to John Boyland!

Jonathan