version 1.92, 2001/06/12 22:39:36
|
version 1.95, 2001/06/16 16:09:09
|
Line 10
|
Line 10
|
# 5/26 Gerd Kortemeyer |
# 5/26 Gerd Kortemeyer |
# 5/27 H. K. Ng |
# 5/27 H. K. Ng |
# 6/2,6/3,6/8,6/9 Gerd Kortemeyer |
# 6/2,6/3,6/8,6/9 Gerd Kortemeyer |
|
# 6/12,6/13 H. K. Ng |
|
# 6/16 Gerd Kortemeyer |
|
|
package Apache::lonxml; |
package Apache::lonxml; |
use vars |
use vars |
Line 146 ENDPARM
|
Line 148 ENDPARM
|
(2,1,'back.gif','backward','','gopost("/adm/flip","back:"+currentURL)'); |
(2,1,'back.gif','backward','','gopost("/adm/flip","back:"+currentURL)'); |
menu.switchbutton |
menu.switchbutton |
(2,3,'forw.gif','forward','','gopost("/adm/flip","forward:"+currentURL)'); |
(2,3,'forw.gif','forward','','gopost("/adm/flip","forward:"+currentURL)'); |
|
menu.switchbutton |
|
(9,1,'sbkm.gif','set','bookmark','set_bookmark()'); |
|
menu.switchbutton |
|
(9,2,'vbkm.gif','view','bookmark','edit_bookmarks()'); |
|
menu.switchbutton |
|
(9,3,'anot.gif','anno-','tations','annotate()'); |
$hwkadd |
$hwkadd |
} |
} |
|
|
Line 158 ENDPARM
|
Line 166 ENDPARM
|
menu.clearbut(7,2); |
menu.clearbut(7,2); |
menu.clearbut(7,3); |
menu.clearbut(7,3); |
menu.menucltim=menu.setTimeout( |
menu.menucltim=menu.setTimeout( |
'clearbut(2,1);clearbut(2,3);clearbut(8,1);clearbut(8,2);clearbut(8,3);', |
'clearbut(2,1);clearbut(2,3);clearbut(8,1);clearbut(8,2);clearbut(8,3);'+ |
|
'clearbut(9,1);clearbut(9,2);clearbut(9,3);', |
2000); |
2000); |
|
|
} |
} |
Line 501 sub init_safespace {
|
Line 510 sub init_safespace {
|
$safehole->wrap(\&Math::Random::random_noncentral_f,$safeeval,'&math_random_noncentral_f'); |
$safehole->wrap(\&Math::Random::random_noncentral_f,$safeeval,'&math_random_noncentral_f'); |
$safehole->wrap(\&Math::Random::random_normal,$safeeval,'&math_random_normal'); |
$safehole->wrap(\&Math::Random::random_normal,$safeeval,'&math_random_normal'); |
$safehole->wrap(\&Math::Random::random_permutation,$safeeval,'&math_random_permutation'); |
$safehole->wrap(\&Math::Random::random_permutation,$safeeval,'&math_random_permutation'); |
# $safehole->wrap(\&Math::Random::random_permuted_index,$safeeval,'&math_random_permuted_index'); |
$safehole->wrap(\&Math::Random::random_permuted_index,$safeeval,'&math_random_permuted_index'); |
$safehole->wrap(\&Math::Random::random_uniform,$safeeval,'&math_random_uniform'); |
$safehole->wrap(\&Math::Random::random_uniform,$safeeval,'&math_random_uniform'); |
$safehole->wrap(\&Math::Random::random_poisson,$safeeval,'&math_random_poisson'); |
$safehole->wrap(\&Math::Random::random_poisson,$safeeval,'&math_random_poisson'); |
$safehole->wrap(\&Math::Random::random_uniform_integer,$safeeval,'&math_random_uniform_integer'); |
$safehole->wrap(\&Math::Random::random_uniform_integer,$safeeval,'&math_random_uniform_integer'); |