From 359253ca4ec37eecf750e4286c856c8708a67d73 Mon Sep 17 00:00:00 2001
From: vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Date: Sun, 8 Feb 2009 15:46:02 +0000
Subject: [PATCH] Minor changes

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2564 64cb5145-927a-446d-8aed-2fb7b4773692
---
 src/TeXmacs/fonts/virtual/misc.vfn                    |  1 +
 src/TeXmacs/packages/program/program.ts               | 17 +++++++++--------
 src/TeXmacs/progs/convert/latex/latex-texmacs-drd.scm |  1 +
 src/TeXmacs/progs/math/math-kbd.scm                   |  5 +++--
 4 files changed, 14 insertions(+), 10 deletions(-)

diff --git a/src/TeXmacs/fonts/virtual/misc.vfn b/src/TeXmacs/fonts/virtual/misc.vfn
index a27d528b..45af84c6 100644
--- a/src/TeXmacs/fonts/virtual/misc.vfn
+++ b/src/TeXmacs/fonts/virtual/misc.vfn
@@ -6,6 +6,7 @@
   (b-Mho (ver-flip (hor-flip b-Omega)))
   (b-backepsilon (ver-flip (hor-flip b-epsilon)))
   (b-Backepsilon (ver-flip (hor-flip b-Epsilon)))
+  (Exists (join (0 0 exists) (0.25 0.01 urcorner) (0.25 0.02 lrcorner)))
 
   (ldots (join (0 0 .) (0.3 0 .) (0.6 0 .)))
   (cdots (join (0 0 cdot) (0.3 0 cdot) (0.6 0 cdot)))
diff --git a/src/TeXmacs/packages/program/program.ts b/src/TeXmacs/packages/program/program.ts
index c4d112b9..88bc2875 100644
--- a/src/TeXmacs/packages/program/program.ts
+++ b/src/TeXmacs/packages/program/program.ts
@@ -1,4 +1,4 @@
-<TeXmacs|1.0.6.15>
+<TeXmacs|1.0.7.2>
 
 <style|source>
 
@@ -15,16 +15,17 @@
     <src-copyright|1998--2004|Joris van der Hoeven>
 
     <\src-license>
-      This software falls under the <hlink|GNU general public
-      license, version 3 or later|$TEXMACS_PATH/LICENSE>.
-      It comes WITHOUT ANY WARRANTY WHATSOEVER.
-      You should have received a copy of the license which the software.
-      If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>.
+      This software falls under the <hlink|GNU general public license,
+      version 3 or later|$TEXMACS_PATH/LICENSE>. It comes WITHOUT ANY
+      WARRANTY WHATSOEVER. You should have received a copy of the license
+      which the software. If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>.
     </src-license>
   </src-title>>
 
-  <assign|algorithm|<macro|name|body|<surround|<vspace*|1fn>|<vspace|1fn><right-flush>|<with|par-first|0cm|<surround|<with|font-series|bold|<translate|Algorithm|english|<language>>
-  <with|font-family|tt|<arg|name>>>||<with|item*|<macro|what|<with|font-series|bold|math-font-series|bold|<arg|what>
+  <assign|algo|<macro|name|<with|font-family|tt|math-font-family|ttt|<arg|name>>>>
+
+  <assign|algorithm|<macro|name|body|<surround|<vspace*|1fn>|<vspace|1fn><right-flush>|<with|par-first|0cm|<surround|<with|font-series|bold|<translate|Algorithm|english|<language>>>
+  <algo|<arg|name>>||<with|item*|<macro|what|<with|font-series|bold|math-font-series|bold|<arg|what>
   >>|<arg|body>>>>>>>
 
   <assign|body|<macro|body|<surround|<vspace*|0.5fn>||<with|item*|<macro|name|<vspace*|0.5fn><with|font-series|bold|math-font-series|bold|<arg|name>
diff --git a/src/TeXmacs/progs/convert/latex/latex-texmacs-drd.scm b/src/TeXmacs/progs/convert/latex/latex-texmacs-drd.scm
index fd36d83a..3120988e 100644
--- a/src/TeXmacs/progs/convert/latex/latex-texmacs-drd.scm
+++ b/src/TeXmacs/progs/convert/latex/latex-texmacs-drd.scm
@@ -83,6 +83,7 @@
   (Zeta "\\mathrm{Z}")
 
   ;; other extra symbols
+  (Exists "\\exists")
   (bigintwl "\\int")
   (bigointwl "\\oint")
   (bignone "")
diff --git a/src/TeXmacs/progs/math/math-kbd.scm b/src/TeXmacs/progs/math/math-kbd.scm
index a85f1a59..31d2b79b 100644
--- a/src/TeXmacs/progs/math/math-kbd.scm
+++ b/src/TeXmacs/progs/math/math-kbd.scm
@@ -1138,8 +1138,9 @@
   ("D var var" "<mathD>")
   ("D var var var" "<daleth>")
   ("E var" "<Epsilon>")
-  ("E var var" "<exists>")
-  ("E var var var" "<Backepsilon>")
+  ("E var var" "<Exists>")
+  ("E var var var" "<exists>")
+  ("E var var var var" "<Backepsilon>")
   ("F var" "<Phi>")
   ("G var" "<Gamma>")
   ("G var var" "<gimel>")
-- 
2.11.4.GIT