Send a message to Isabelle ATLAN