- * cyclic sort hierarchies are now allowed through the "cyclic" keyword
- * new syntax for let rec/corec with flavor specifier
- * optional parameters added to the syntax of definitions
- * new attribute "Implied" put beside "Generated" and "Provided";
- it denotes an object provided not as defined by the user, but as generated by another ITP
- * the command "defined" is added as a presentational alternative to "qed" for definitions
- * improved standard library and contributions
- * improved binaries using matita components
- * source code updated for the latest version of OCaml and related tools
+ * cyclic sort hierarchies are now allowed through the "cyclic" keyword
+ * new syntax for let rec/corec with flavor specifier
+ * optional parameters added to the syntax of definitions
+ * new attribute "Implied" put beside "Generated" and "Provided";
+ it denotes an object provided not as defined by the user, but as
+ generated by another ITP
+ * the command "defined" is added as a presentational alternative to
+ "qed" for definitions
+ * improved standard library and contributions
+ * improved binaries using matita components
+ * source code updated for the latest version of OCaml and related
+ tools