title=OEF pourtout
# Commencez la description par minuscule!
description=collection d'exercices sur les quantificateurs logiques.
author=XIAO Gang
address=xiao@unice.fr
copyright=&copy; 2002- (<a href=COPYING>GNU GPL</a>)
translator=
translator_address=
version=1.00
wims_version=3.10
language=fr

# Possible categories: exercise, tool, dictionary, course, recreation.
category=exercise, oef

# En: elementary. Hn: high school. Un: under. G: graduate. R: research.
# E1,...,E6; H1...,H6; U1,...,U4; G; R
level=H6, U1, U2

# e.g. algebra, analysis, geometry, etc.
# read public_html/modules/home/lists/domains.allow for the list of
# allowed domains.
domain=logic

# Anything you like.
keywords=forall, quantifier, logical

# Software packages required to run the module
require=

# Does the module have scoring system?
scoring=yes

