initial support for LaTeX-defined notatopn

[helm.git] / matita / components / binaries / matex / options.mli

diff --git a/matita/components/binaries/matex/options.mli b/matita/components/binaries/matex/options.mli
index b2ad2cf47d4787b26a20f7a2587d5dfc2007f42d..8a7bbb8a22ab9af1c65dd99240970845ae976077 100644 (file)
--- a/matita/components/binaries/matex/options.mli
+++ b/matita/components/binaries/matex/options.mli
@@ -35,6 +35,8 @@ val alpha_type: (string * string * string) list ref
 
 val alpha_sort: (string * string * string) list ref
 
+val macro: (string * string * int) list ref
+
 val clear: unit -> unit
 
 val close_list: unit -> unit