X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaEngine.mli;h=83b549ec4ee0b864177fb607ee6bbf452c5171a8;hb=c6cc2a7227d6750076f591a62d7b1896ebf1ebfa;hp=71bfff0b89d287371ad71dd84a991380cc79a40e;hpb=3cdf3d1d9e2ee3c12931c2af5c2daf1b0e73a310;p=helm.git diff --git a/helm/software/matita/matitaEngine.mli b/helm/software/matita/matitaEngine.mli index 71bfff0b8..83b549ec4 100644 --- a/helm/software/matita/matitaEngine.mli +++ b/helm/software/matita/matitaEngine.mli @@ -61,3 +61,5 @@ val eval_from_stream : (DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) option ) list +(* this callback is called on every grafite command *) +val set_callback: (GrafiteParser.ast_statement -> unit) -> unit