- matita: computed auto traces now include the "width" parameter

[helm.git] / matita / matita / predefined_virtuals.ml

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index 7d0ab3a8e91dcb18caf3f6193b87bbca87fc7c33..5a80b945f98a10c075234a47d29c80da19be7dc0 100644 (file)
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1503,8 +1503,9 @@ let load_predefined_virtuals () =
 ;;
 
 let predefined_classes = [
- ["&"; "⅋"; ];  
- ["!"; "¡"; "⫯"; "⫰"; ]; 
+ ["&"; "⅋"; ];
+ ["|"; "∥"; ];
+ ["!"; "¡"; "⫯"; "⫰"; ];
  ["?"; "¿"; "⸮"; ];
  [":"; "⁝"; ];
  ["."; "•"; "◦"; ];