Parent-Version:      1.24
Version-Log:

source/lustreExp.ml:
   Change the vut type from a list to a Map indexed by strings.

source/parse_luc.ml:
   Use Lexing.buffer instead of my home made lucky_buff one. It is
   simpler, cleaner (especially AFA the ~ stuff is concerned) and probably
   more efficient.

Project-Description: Lurette