add symbol autocomplete to isabelle