+ * Notation now allows to set the precedence level of subterms, avoiding
+ unnecessary parenthese
+ * UTF-8 / TeX conversion table is now available in the Help menu
+ * Notation subsystem described in the manual
+ * EBNF term grammar is now available in the View menu (and is in sync with
+ the currently loaded notation)
+ * Rewrite tactic (in hypothesis) now computes the right sort and
+ uses the right equality elimination principle
+ * URI free interpretation and coercion statements (scripts are almost
+ relocatable now)
+ * elim and cases tactic now support a pattern to specify hypotheses that
+ are generalized before the elimination.