From 3736c76f0f281f157ad7e49d8da8372a367ede91 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 4 Jan 2023 00:17:53 +0100 Subject: [PATCH] All previously auto-generated files from *.in committed - the values are surely wrong, even if they should be mostly unused or set by hand at each release Once I will figure out what to do correctly, I will remove the .in files too. --- .gitignore | 24 +----------------- matita/components/extlib/componentsConf.ml | 29 ++++++++++++++++++++++ matita/matita/help/C/version.txt | 1 + 3 files changed, 31 insertions(+), 23 deletions(-) create mode 100644 matita/components/extlib/componentsConf.ml create mode 100644 matita/matita/help/C/version.txt diff --git a/.gitignore b/.gitignore index 05efd6e7a..effaab96a 100644 --- a/.gitignore +++ b/.gitignore @@ -1,34 +1,12 @@ -*.o -*.a -*.cmx -*.cmo -*.cmi -*.cmxa -*.cma +_build *.exe *~ -_build -*.native -*.byte - -matita/components/extlib/componentsConf.ml -matita/matita/matita.glade.utf8 - matita/matita/help/C/pdf-stamp matita/matita/help/C/html-stamp matita/matita/help/C/quickref-stamp -matita/matita/matita -matita/matita/matita.opt -matita/matita/matitac -matita/matita/matitac.opt -matita/matita/matitaclean -matita/matita/matitaclean.opt - -matita/matita/help/C/version.txt - helm/software/helena/matita helm/software/helena/scripts/lp/grundlagen_2b_lyp.elpi helm/software/helena/scripts/lp/grundlagen_2b_ld3.elpi diff --git a/matita/components/extlib/componentsConf.ml b/matita/components/extlib/componentsConf.ml new file mode 100644 index 000000000..29adb1d6b --- /dev/null +++ b/matita/components/extlib/componentsConf.ml @@ -0,0 +1,29 @@ +(* Copyright (C) 2006, HELM Team. + * + * This file is part of HELM, an Hypertextual, Electronic + * Library of Mathematics, developed at the Computer Science + * Department, University of Bologna, Italy. + * + * HELM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * HELM is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with HELM; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, + * MA 02111-1307, USA. + * + * For details, see the HELM World-Wide-Web page, + * http://helm.cs.unibo.it/ + *) + +let debug = true +let profiling = debug +let src_root = "/home/claudio/ricerca/matita5/helm/matita" + diff --git a/matita/matita/help/C/version.txt b/matita/matita/help/C/version.txt new file mode 100644 index 000000000..2d666706d --- /dev/null +++ b/matita/matita/help/C/version.txt @@ -0,0 +1 @@ +0.99.5 -- 2.39.2