Send a message to isabelle