
name_auth=Developer authentification
name_prop=Account properties
name_modname=List of modules for <em>$auth_name</em>
name_create=Create a module
name_diff=Check diff
name_flist=List of files
name_binfile=Binary files
name_del=Delete a module
name_restore=Restoration from backup
name_publish=Publish <em>$i_title</em><br>\
	<tt><font size=+0>$mod</font></tt>

name_title=Title
name_description=Description
name_language=Language
name_category=Type

year=!char 1 to 4 of $wims_now
gnu=&copy; $year (<a href=COPYING>GNU GPL</a>)

swlist=coq, gap, m2, maxima, mupad, octave, pari, povray
swname=COQ, Gap, Macaulay 2, Maxima, MuPAD, Octave, PARI/GP, Povray

