Subversion Repositories wimsdev

!set lang_script_exists=yes

!set name_prompt_tool1=Useful online tools:
!set name_prompt_tool2=(available in another window of your browser)

!distribute items exercises,tools,recreations into\
        name_exercise,name_tool,name_recreation

!set name_prompt_related=!nosubst Other $(name_$c) on:
!set name_prompt_related_l=!nosubst Other $(name_$c) of equivalent level on:

!set name_prompt_about=Softwares used in this module: