Fixing a minor bug in indetation (exists is tactic and a quantifier).
Adding some more standard utf8 symbols to indentation operator. We
really need some "operator" recognition here.
*** empty log message ***
ML4PG functionality added to Coq menu