version 1.29, 2003/06/15 18:02:57
|
version 1.30, 2003/08/01 18:06:33
|
Line 132 function getpostdata() {
|
Line 132 function getpostdata() {
|
<option value="newproblemfile">New problem:</option> |
<option value="newproblemfile">New problem:</option> |
<option value="newpagefile">New assembled page:</option> |
<option value="newpagefile">New assembled page:</option> |
<option value="newsequencefile">New assembled sequence:</option> |
<option value="newsequencefile">New assembled sequence:</option> |
|
<option value="newrightsfile">New custom rights file:</option> |
|
<option value="newstyfile">New style file:</option> |
<option value="newdir">New subdirectory:</option> |
<option value="newdir">New subdirectory:</option> |
<option value="rename">Rename current file to:</option> |
<option value="rename">Rename current file to:</option> |
<option value="copy">Copy current file to:</option> |
<option value="copy">Copy current file to:</option> |