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.