+++ /dev/null
-<?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;>
+++ /dev/null
-<?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"/>&stylesheet1=rootcontent.xsl&stylesheet2=content_to_html.xsl&xmluri=</html_link>
- <getter_url>http://localhost:8081/get?uri=</getter_url>
-</configuration>
+++ /dev/null
-<dictionary>
- <operator name="⋃" form="infix" stretchy="false" lspace="mediummathspace" rspace="mediummathspace"/>
- <operator name="⋂" form="infix" stretchy="false" lspace="mediummathspace" rspace="mediummathspace"/>
-</dictionary>
+++ /dev/null
-<?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>
+++ /dev/null
-<?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>
+++ /dev/null
-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];
-}
projects / helm.git / commitdiff