From: Enrico Tassi Date: Tue, 21 Mar 2006 16:18:45 +0000 (+0000) Subject: fixed timestamp issue on tactics.mli X-Git-Tag: make_still_working~7481 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f0ae160dea078faba858845d1c6dd17d5a8017ff;p=helm.git fixed timestamp issue on tactics.mli --- diff --git a/helm/software/components/tactics/Makefile b/helm/software/components/tactics/Makefile index 91d011d3d..e572b1392 100644 --- a/helm/software/components/tactics/Makefile +++ b/helm/software/components/tactics/Makefile @@ -24,8 +24,8 @@ IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) all: tactics.mli: tactics.ml *Tactics.mli *Tactic.mli fourierR.mli ring.mli paramodulation/indexing.mli - @echo " OCAMLC -i $< > $@" - $(H)echo "(* GENERATED FILE, DO NOT EDIT *)" > $@ + $(H)echo " OCAMLC -i $< > $@" + $(H)echo "(* GENERATED FILE, DO NOT EDIT. STAMP:`date` *)" > $@ $(H)$(OCAMLC) -I paramodulation -i $< >> $@ STATS_EXCLUDE = tactics.mli diff --git a/helm/software/components/tactics/tactics.mli b/helm/software/components/tactics/tactics.mli index 211897a8a..751d9e93f 100644 --- a/helm/software/components/tactics/tactics.mli +++ b/helm/software/components/tactics/tactics.mli @@ -1,4 +1,4 @@ -(* GENERATED FILE, DO NOT EDIT *) +(* GENERATED FILE, DO NOT EDIT. STAMP:Tue Mar 21 17:18:22 CET 2006 *) val absurd : term:Cic.term -> ProofEngineTypes.tactic val apply : term:Cic.term -> ProofEngineTypes.tactic val assumption : ProofEngineTypes.tactic