Changeset 1175

Timestamp:
2013-02-08T17:34:20+01:00 (11 years ago)
Author:
camille.risi
Message:

mise a jour le 8 fevrier 2013. Quelques bugs corriges dans mes ajouts d'Isabelle + simplification des parametres a prescrire dans run.def: maintenant, on met OK_FREEZE=y pour avoir les modifs d'Isabelles recommandees par Isabelle, et OK_FREEZE=n pour retrouver les resultats du trunk initial. Si on veut activer une par une les modifs d'Isabelle, alors il faut mettre OK_FREEZE=n et mettre y aux options intermediaires.

(No files)

Note: See TracChangeset for help on using the changeset viewer.