X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flexicon%2FlexiconEngine.mli;h=eab7e53e75af3e059e60b8bf0c2a5df9c4aebde9;hb=64d7a7dfa840d7279f9af64240ee1f8a69181801;hp=00201c9fbf5147f43e3e04565607bf1b01298447;hpb=14d7eabdb425c4dbcda5de18fac0735fde5d176b;p=helm.git

diff --git a/helm/software/components/lexicon/lexiconEngine.mli b/helm/software/components/lexicon/lexiconEngine.mli
index 00201c9fb..eab7e53e7 100644
--- a/helm/software/components/lexicon/lexiconEngine.mli
+++ b/helm/software/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