Global functions | |
---|---|
Language_env | Man page |
check_java | Source code |
get_jar_path | Man page Source code |
get_lang_list | Man page Source code |
hello | Man page |
install_LanguageTools | Man page Source code |
install_lang_list | Man page Source code |
is_LanguageTools_installed | Man page Source code |
killing_server | Man page Source code |
rmd_corrector | Man page Source code |
running_server_id | Man page Source code |
send_request | Man page Source code |
starting_server | Man page Source code |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.