# This file registers changes to the module.
# Please write in reverse order: the last version first.


Version 1.6:
	Correction d'une erreur dans Tautologies 
        (A - B ou B -> A est tautologique)
         Ajout de nouveaux cas (23 en tout)

Version 1.5
       - Correction d'une erreur d'nonc dans "Ngation en langage naturel"


Version 1.4
       - Modification de l'exercice "Ngation en maths"
        (avec l'ancienne version, les lves appariaient A et non A 
          en reprant les couples de formule ayant mmes variables)
       - Ajout d'un exercice sur l'Implication et la Contraposition 

Version 1.00:
	First publication.