coqweb_new --- Introduction ---

Précisez la version et le niveau de coqweb souhaités:
version 1 Niveau normal
version 2 Niveau prof Niveau étudiant guidé Niveau étudiant libre

puis l'action souhaitée:
aller dans la bibliothèque
faire l'exercice numéro

Utilisation de ce module dans un autre module WIMS:



Cette page n'est pas dans son apparence habituelle parce que WIMS n'a pas pu reconnaître votre navigateur de web.

Pour accéder aux services de WIMS, vous avez besoin d'un navigateur qui connait les formes. Afin de tester le navigateur que vous utilisez, veuillez taper le mot wims ici : puis appuyez sur ``Entrer''.

Veuillez noter que les pages WIMS sont générées interactivement; elles ne sont pas des fichiers HTML ordinaires. Elles doivent être utilisées interactivement EN LIGNE. Il est inutile pour vous de les ramasser par un programme robot.