!! used as default html header if there is none in the selected theme. coqweb_new

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 web.
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.