From 40113919c6796c2cfd3b56170f4faa239bb67f99 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Wed, 27 Oct 2010 09:53:58 +0000 Subject: [PATCH] old standard library no longer included --- matita/matita/buildTimeConf.ml.in | 2 -- matita/matita/matitaInit.ml | 2 -- 2 files changed, 4 deletions(-) diff --git a/matita/matita/buildTimeConf.ml.in b/matita/matita/buildTimeConf.ml.in index 45b75736e..2f963eb50 100644 --- a/matita/matita/buildTimeConf.ml.in +++ b/matita/matita/buildTimeConf.ml.in @@ -50,9 +50,7 @@ let core_notation_script = runtime_base_dir ^ "/core_notation.moo" let matita_conf = runtime_base_dir ^ "/matita.conf.xml" let closed_xml = runtime_base_dir ^ "/closed.xml" let gtkmathview_conf = runtime_base_dir ^ "/gtkmathview.matita.conf.xml" -let stdlib_dir_devel = runtime_base_dir ^ "/library" let new_stdlib_dir_devel = runtime_base_dir ^ "/nlibrary" -let stdlib_dir_installed = runtime_base_dir ^ "/ma/standard-library" let new_stdlib_dir_installed = runtime_base_dir ^ "/ma/new-standard-library" let help_dir = runtime_base_dir ^ "/help" diff --git a/matita/matita/matitaInit.ml b/matita/matita/matitaInit.ml index a78fb0972..d4a47267f 100644 --- a/matita/matita/matitaInit.ml +++ b/matita/matita/matitaInit.ml @@ -167,8 +167,6 @@ let parse_cmdline init_status = wants [Registry] init_status; let includes = ref [] in let default_includes = [ - BuildTimeConf.stdlib_dir_devel; - BuildTimeConf.stdlib_dir_installed ; BuildTimeConf.new_stdlib_dir_devel; BuildTimeConf.new_stdlib_dir_installed ; ] -- 2.39.2