LySa - Analysis of origin and destination authentication
Version 1.1, Time-stamp: <10-02-2004 Mikael Buchholtz>


Changes in Version 1.1:

- A parser of (Meta) LySa processes from ASCII text has been added in
  the directory io/

- Example protocols (written in ASCII text format) has been added in
  the directory protocols/ (hopefully more will come)

- The directory experiments1/ is considered deprecated and has been
  removed from the distribution

- Lysa2LLysa.l2llProc now translates sequences of indices into unique
  strings (which before was a problem e.g. when unfolding to more than
  9 instances)

- Constraint generation in analysis1.sml now produces a correct ALFP
  formula when an encryption is empty

- Constraint generation in analysis1.sml now produces a correct ALFP
  formula when the list in ORIG or DEST is empty

- Emacs Time-stamps have been added to all source files. Dates are as
  of now - though many files have not been modified since last release


Changes in Version 1.0:

- Annotations with NONE are expanded to the set of all crypto-points by
  Lysa2LLysa.l2llProc.

- Using ORIG in encryption or DEST in decryption will now cause an
  exception to be raised by Lysa2LLysa.l2llProc.

- Indices may now also be the empty string (in case you feel that it
  makes sense)

- Annotation corrected in example.sml 

- Minor corrections in documentation


Initial version was 0.1
