is_tmhmm_set_up: Determine if TMHMM is set up
Description
Determine if TMHMM is set up
Usage
is_tmhmm_set_up(folder_name = get_default_tmhmm_folder())
Arguments
folder_name
superfolder of TMHMM.
The superfolder's name is /home/[user_name]/.local/share
by default, as can be obtained by
get_default_tmhmm_folder
Value
TRUE if TMHMM is set up, FALSE otherwise