Searched refs:find_doc_prefix (Results 1 – 2 of 2) sorted by relevance
3219 std::string find_doc_prefix(int i){ in find_doc_prefix() function3278 string filename=giac_aide_dir()+find_doc_prefix(i)+"aide_cas"; in add_language()3384 return find_doc_prefix(i); in set_language()3471 return find_doc_prefix(i); in read_env()3475 return find_doc_prefix(0); in read_env()5534 std::string doc=find_doc_prefix(lang); in update_lexer_localization()
981 std::string find_doc_prefix(int i);