new file: snapshots/MPP-20130619.tgz; new file: snapshots/cmd.txt; modified: src/Makefile ; modified: src/mpp_actions.ml; modified: src/mpp_charstream.ml; deleted: src/mpp_conditions.ml; modified: src/mpp_init.ml; modified: src/mpp_main.ml ;deleted: src/mpp_variables.ml