From ade4052a34236f21fb0d2e720ae70000373d90c1 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 2 Feb 2006 16:19:01 +0000 Subject: [PATCH] removed no longer used coq_notation_script from API --- helm/matita/buildTimeConf.mli | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/matita/buildTimeConf.mli b/helm/matita/buildTimeConf.mli index 949f8c5cb..09a927fc6 100644 --- a/helm/matita/buildTimeConf.mli +++ b/helm/matita/buildTimeConf.mli @@ -30,7 +30,6 @@ val blank_uri : string val browser_history_size : int val closed_xml : string val console_history_size : int -val coq_notation_script : string val core_notation_script : string val current_proof_uri : string val debug : bool -- 2.39.5