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

Version 1.00:
	First publication.

## 15 juin : mj des structures par ajout d'un type (marqueur de somme)
##  permet de parenthser ou non dans un produit par un nombre

 
## BUG au 15 juin
## exo4 msg error cqfd incorrect 
## (erreur sur newvar - confusion avec l'autre borne de l'ingalit)

## BUG au 22 juillet
## inversion possible de 0<=a<=b donnant 0<=1/b<=1/a avec possibilite 
## que 1/b soit nul : nouveau type d'erreur inverse2
## correction du test de fin : avec ln(a*x) et sqrt(a*x) les dev. en 
## de  taylor doivent se faire aprs un changement prealable de variable
## score arrondi  l'unit (floor)

## 10 Septembre / module test avec lves
## BUG exo2  : dans le test cqfd il manquait la substitution de y!!
## Problme d'affichage des fractions sous WIMS.
## Par exemple : 
##    \( 1/2*sqrt(x+1) )  affiche 1/(2sqrt(x+1))
##    les calculs semblent  corrects
## De mme : 
##    \( 1/(1/X) )   affiche 1/X
##     \( 1/(1/(1/X)) )  s'affiche coorectement !
## Il faudrait gnrer les sources tex de TOUS les membres ingalits.
## 
## Problme contourn en :
## - interdisant les constantes non entires
## - bloquant deux inverser conscutifs
