whos
edit
typeof
check_modules_xml
perl
with_pvm
check_versions
who_user
whereami
with_macros_source
toolboxes
with_texmacs
with_tk
OS_Version
getshell
with_javasci
ver
