| 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.