X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flexicon%2FlexiconEngine.mli;h=eab7e53e75af3e059e60b8bf0c2a5df9c4aebde9;hb=63f876b112e1be016e8063e6a00ec47f841ee615;hp=00201c9fbf5147f43e3e04565607bf1b01298447;hpb=81b53ddc3ce92187e62deff483919ca2251fd246;p=helm.git

diff --git a/components/lexicon/lexiconEngine.mli b/components/lexicon/lexiconEngine.mli
index 00201c9fb..eab7e53e7 100644
--- a/components/lexicon/lexiconEngine.mli
+++ b/components/lexicon/lexiconEngine.mli
@@ -42,3 +42,5 @@ val set_proof_aliases:
   (DisambiguateTypes.Environment.key * DisambiguateTypes.codomain_item) list ->
   status
 
+(* this callback is called on every lexicon command *)
+val set_callback: (LexiconAst.command -> unit) -> unit