Parent-Version:      1.30
Version-Log:

source/run_aut.ml:
source/graph.ml:
source/env_state.ml
source/lucky.ml:
source/env_state.ml:
   Graph.t in now a side effet-free DT.

source/lurettetop.ml:
xlurette/xlurette.glade:
   provide an error msg to xlurette when gnuplot is not installed.

Project-Description: Lurette