version 1.92, 2002/04/25 21:38:09
|
version 1.93, 2002/05/03 19:32:57
|
Line 266 sub start_problem {
|
Line 266 sub start_problem {
|
$rndseed.'" /> |
$rndseed.'" /> |
<input type="submit" name="changerandseed" value="Change" /> |
<input type="submit" name="changerandseed" value="Change" /> |
<input type="submit" name="resetdata" value="Reset Submissions" /> |
<input type="submit" name="resetdata" value="Reset Submissions" /> |
|
<input type="checkbox" name="showallfoils" '; |
|
if (defined($ENV{'form.showallfoils'})) { $result.='checked="on"'; } |
|
$result.= ' /> Show All Foils |
<hr />'; |
<hr />'; |
} |
} |
# if we are viewing someone else preserve that info |
# if we are viewing someone else preserve that info |