]> matita.cs.unibo.it Git - helm.git/commitdiff
Added Files (these are configuration files for the rendering engine)
authorLuca Padovani <luca.padovani@unito.it>
Tue, 19 Dec 2000 18:01:51 +0000 (18:01 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 19 Dec 2000 18:01:51 +0000 (18:01 +0000)
helm-dictionary.xml
helm-font-configuration.xml
helm-math-engine-configuration.xml

helm/configuration/local/etc/helm/helm-dictionary.xml [new file with mode: 0644]
helm/configuration/local/etc/helm/helm-font-configuration.xml [new file with mode: 0644]
helm/configuration/local/etc/helm/helm-math-engine-configuration.xml [new file with mode: 0644]

diff --git a/helm/configuration/local/etc/helm/helm-dictionary.xml b/helm/configuration/local/etc/helm/helm-dictionary.xml
new file mode 100644 (file)
index 0000000..a81bb88
--- /dev/null
@@ -0,0 +1,4 @@
+<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
new file mode 100644 (file)
index 0000000..19da22c
--- /dev/null
@@ -0,0 +1,35 @@
+<?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
new file mode 100644 (file)
index 0000000..560bd3b
--- /dev/null
@@ -0,0 +1,37 @@
+<?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>