Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
!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_about=Softwares used in this module:
Generated by GNU Enscript 1.6.5.90.