Subversion Repositories wimsdev

Rev

Rev 2497 | Rev 3422 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2497 Rev 3255
Line 11... Line 11...
11 
  summary\
 11 
  summary\
12 
  Click here\
 12 
  Click here\
13 
into name_test,name_warning, name_mostrecent,name_mostrecent2,name_morerecent,\
 13 
into name_test,name_warning, name_mostrecent,name_mostrecent2,name_morerecent,\
14 
  name_output,name_summary,name_click
 14 
  name_output,name_summary,name_click
15
15
16 
!set name_sorry=!subst Sorry, we have failed to download the new WIMS version from <tt>$download</tt>. Please try again later.
 16 
!set name_sorry=!nosubst Sorry, we have failed to download the new WIMS version from <tt>$download</tt>. Please try again later.
17 
!set name_summary=!subst Summary of the last update: (Please send it to $wims_maintainer in case of error.)
 17 
!set name_summary=!nosubst Summary of the last update: (Please send it to $wims_maintainer in case of error.)
18 
!set name_detailed=!subst Detailed output of the last update: (Please send it to $wims_maintainer in case of error.)
 18 
!set name_detailed=!nosubst Detailed output of the last update: (Please send it to $wims_maintainer in case of error.)
19 
!set name_sorry2=!subst Sorry, the WIMS download site <tt>$download</tt> is unreachable.
 19 
!set name_sorry2=!nosubst Sorry, the WIMS download site <tt>$download</tt> is unreachable.
20 
!set name_version=!subst This WIMS site is currently under version $wims_version.
 20 
!set name_version=!nosubst This WIMS site is currently under version $wims_version.
21 
 
 21 
 
22 
!exit
 22 
!exit
23 
:update
 23 
:update
24 
to download WIMS $pubversion from <tt>$download</tt> and update the
 24 
to download WIMS $pubversion from <tt>$download</tt> and update the
25 
server. <b><font color=red>$wims_name_warning</font></b> This will create
 25 
server. <b><font color=red>$wims_name_warning</font></b> This will create