From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 21 Dec 2000 14:15:17 +0000 (+0000)
Subject: All files previously in local/$i/helm moved in $i
X-Git-Tag: nogzip~75
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f1963225783effe6f19d5ad6f44f3c049f76cd6e;p=helm.git

All files previously in local/$i/helm moved in $i
---

diff --git a/helm/configuration/local/etc/helm/configuration.dtd b/helm/configuration/local/etc/helm/configuration.dtd
deleted file mode 100644
index 2a2428d1d..000000000
--- a/helm/configuration/local/etc/helm/configuration.dtd
+++ /dev/null
@@ -1,34 +0,0 @@
-<?xml encoding="ISO-8859-1"?>
-
-<!--*****************************************************************-->
-<!-- DTD FOR HELM CONFIGURATION FILE:                                -->
-<!--  First draft: June 6 2000, Claudio Sacerdoti Coen               -->
-<!--  Last Revision: June 6 2000, Claudio Sacerdoti Coen             -->
-<!--*****************************************************************-->
-
-<!ELEMENT configuration (helm_dir, dtd_dir, servers_file, uris_dbm, dest,
-			 indexname, tmpdir, helm_url_path,
-                         getheader_url, style_url, webeq_url, webeqp_url,
-                         use_webeqp_url, html_link, getter_url)>
-
-<!ENTITY % expr '(#PCDATA | value-of)*'>
-
-<!ELEMENT value-of EMPTY>
-<!ATTLIST value-of
-	var NMTOKEN #REQUIRED >
-
-<!ELEMENT helm_dir       %expr;>
-<!ELEMENT dtd_dir        %expr;>
-<!ELEMENT servers_file   %expr;>
-<!ELEMENT uris_dbm       %expr;>
-<!ELEMENT dest           %expr;>
-<!ELEMENT indexname      %expr;>
-<!ELEMENT tmpdir         %expr;>
-<!ELEMENT helm_url_path  %expr;>
-<!ELEMENT getheader_url  %expr;>
-<!ELEMENT style_url      %expr;>
-<!ELEMENT webeq_url      %expr;>
-<!ELEMENT webeqp_url     %expr;>
-<!ELEMENT use_webeqp_url %expr;>
-<!ELEMENT html_link      %expr;>
-<!ELEMENT getter_url     %expr;>
diff --git a/helm/configuration/local/etc/helm/configuration.xml b/helm/configuration/local/etc/helm/configuration.xml
deleted file mode 100644
index 29672d5e1..000000000
--- a/helm/configuration/local/etc/helm/configuration.xml
+++ /dev/null
@@ -1,22 +0,0 @@
-<?xml version="1.0" encoding="ISO-8859-1"?>
-<!DOCTYPE configuration SYSTEM "configuration.dtd">
-
-<configuration>
- <helm_dir>/home/pauillac/coq3/sacerdot/HELM/V6.2/examples</helm_dir>
-
- <dtd_dir>/home/pauillac/coq3/sacerdot/HELM/dtd</dtd_dir>
- <servers_file>/home/pauillac/coq3/sacerdot/HELM/V6.2/servers.txt</servers_file>
- <uris_dbm>/home/pauillac/coq3/sacerdot/HELM/V6.2/urls_of_uris</uris_dbm>
- <dest><value-of var="helm_dir"/></dest>
- <indexname>index.txt</indexname>
- <tmpdir>/tmp</tmpdir>
-
- <helm_url_path>/home/lpadovan/helm/PARSER/examples</helm_url_path>
- <getheader_url>http://localhost/really_very_local/helm/header/getheader.xml</getheader_url>
- <style_url>http://localhost/really_very_local/helm/style/</style_url>
- <webeq_url>http://localhost/cgi-bin/helm/webeq.pl</webeq_url>
- <webeqp_url>http://localhost/cgi-bin/helm/webeqp.pl</webeqp_url>
- <use_webeqp_url>http://localhost/cgi-bin/helm/use_webeqp.pl</use_webeqp_url>
- <html_link><value-of var="getheader_url"/>?baseurl=<value-of var="style_url"/>&amp;stylesheet1=rootcontent.xsl&amp;stylesheet2=content_to_html.xsl&amp;xmluri=</html_link>
- <getter_url>http://localhost:8081/get?uri=</getter_url>
-</configuration>
diff --git a/helm/configuration/local/etc/helm/helm-dictionary.xml b/helm/configuration/local/etc/helm/helm-dictionary.xml
deleted file mode 100644
index a81bb886b..000000000
--- a/helm/configuration/local/etc/helm/helm-dictionary.xml
+++ /dev/null
@@ -1,4 +0,0 @@
-<dictionary>
- <operator name="&Union;" form="infix" stretchy="false" lspace="mediummathspace" rspace="mediummathspace"/>
- <operator name="&Intersection;" form="infix" stretchy="false" lspace="mediummathspace" rspace="mediummathspace"/>
-</dictionary>
diff --git a/helm/configuration/local/etc/helm/helm-font-configuration.xml b/helm/configuration/local/etc/helm/helm-font-configuration.xml
deleted file mode 100644
index 19da22c6b..000000000
--- a/helm/configuration/local/etc/helm/helm-font-configuration.xml
+++ /dev/null
@@ -1,35 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE font-configuration SYSTEM "font-configuration.dtd">
-<!--
-Copyright (C) 2000, Luca Padovani (luca.padovani@cs.unibo.it).
-
-This file is part of GtkMathView, a Gtk widget for MathML.
-
-GtkMathView 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.
-
-GtkMathView 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 GtkMathView; if not, write to the Free Software
-Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
-
-For details, see the GtkMathView World-Wide-Web page,
-http://cs.unibo.it/~lpadovan/mml-widget, or send a mail to
-(luca.padovani@cs.unibo.it)
--->
-
-<font-configuration>
-  <font type="x" mode="math" map="adobe-symbol-forall"
-	x-foundry="adobe" x-family="symbol" x-encoding="fontspecific"
-	/>
-
-  <map id="adobe-symbol-forall">
-    <single code="0x2200" index="0x22"/>
-  </map>
-</font-configuration>
diff --git a/helm/configuration/local/etc/helm/helm-math-engine-configuration.xml b/helm/configuration/local/etc/helm/helm-math-engine-configuration.xml
deleted file mode 100644
index 560bd3be3..000000000
--- a/helm/configuration/local/etc/helm/helm-math-engine-configuration.xml
+++ /dev/null
@@ -1,37 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE math-engine-configuration SYSTEM "math-engine-configuration.dtd">
-<!--
-Copyright (C) 2000, Luca Padovani (luca.padovani@cs.unibo.it).
-
-This file is part of GtkMathView, a Gtk widget for MathML.
-
-GtkMathView 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.
-
-GtkMathView 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 GtkMathView; if not, write to the Free Software
-Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
-
-For details, see the GtkMathView World-Wide-Web page,
-http://cs.unibo.it/~lpadovan/mml-widget, or send a mail to
-(luca.padovani@cs.unibo.it)
--->
-
-<math-engine-configuration>
-  <dictionary-path>/projects/helm/V7/phd/local/etc/helm/helm-dictionary.xml</dictionary-path>
-  <dictionary-path>/projects/helm/local/share/gtkmathview/dictionary.xml</dictionary-path>
-  <font-configuration-path>/projects/helm/V7/phd/local/etc/helm/helm-font-configuration.xml</font-configuration-path>
-  <font-configuration-path>/projects/helm/local/share/gtkmathview/font-configuration.xml</font-configuration-path>
-  <t1-config-file>/projects/helm/local/share/gtkmathview/t1.config</t1-config-file>
-  <font-size     size="14pt"/>
-  <color         foreground="black" background="white"/>
-  <link-color    foreground="#32648b" background="white"/>
-  <select-color  foreground="black" background="#87cefa"/>
-</math-engine-configuration>
diff --git a/helm/configuration/local/lib/helm/configuration.pl b/helm/configuration/local/lib/helm/configuration.pl
deleted file mode 100644
index f761e7129..000000000
--- a/helm/configuration/local/lib/helm/configuration.pl
+++ /dev/null
@@ -1,38 +0,0 @@
-use XML::Parser;
-
-use Env;
-my $HELM_CONFIGURATION_PREFIX = $ENV{"HELM_CONFIGURATION_PREFIX"};
-# this should be the only fixed constant
-$configuration_file =
- $HELM_CONFIGURATION_PREFIX."/local/etc/helm/configuration.xml";
-
-$parser = new XML::Parser(Handlers => {Start => \&handle_start,
-                                       End   => \&handle_end,
-                                       Char  => \&handle_char});
-
-
-$parser->parsefile($configuration_file, ErrorContext => 3);
-
-
-sub handle_start
-{
-   if ($_[1] eq "value-of") {
-      $$varname .= ${$_[3]};
-   } elsif ($_[1] ne "configuration") {
-      $varname = $_[1];
-   }
-}
-
-sub handle_end
-{
-   if ($_[1] ne "value-of" && $_[1] ne "configuration") {
-      # Next line for debugging only:
-      # print "OK: #$_[1]# := #$$varname#\n";
-      $varname = undef;
-   }
-}
-
-sub handle_char
-{
-   $$varname .= $_[1];
-}