beta 2012.12.04 17:37

12 files changed, 18 insertions, 8 deletions

diff --git a/tex/context/base/char-def.lua b/tex/context/base/char-def.lua
index 25e5f621c..7aa2609f4 100644
--- a/tex/context/base/char-def.lua
+++ b/tex/context/base/char-def.lua
@@ -60012,8 +60012,16 @@ characters.data={
   description="RIGHTWARDS DOUBLE ARROW",
   direction="on",
   linebreak="ai",
-  mathclass="relation",
-  mathname="Rightarrow",
+  mathspec={
+   {
+    class="relation",
+    name="Rightarrow",
+   },
+   {
+    class="relation",
+    name="imply",
+   },
+  },
   unicodeslot=0x21D2,
  },
  [0x21D3]={
diff --git a/tex/context/base/cont-new.mkii b/tex/context/base/cont-new.mkii
index 0390fc66a..8d137d327 100644
--- a/tex/context/base/cont-new.mkii
+++ b/tex/context/base/cont-new.mkii
@@ -11,7 +11,7 @@
 %C therefore copyrighted by \PRAGMA. See mreadme.pdf for
 %C details.
 
-\newcontextversion{2012.12.04 16:56}
+\newcontextversion{2012.12.04 17:37}
 
 %D This file is loaded at runtime, thereby providing an
 %D excellent place for hacks, patches, extensions and new
diff --git a/tex/context/base/cont-new.mkiv b/tex/context/base/cont-new.mkiv
index d68658d27..11bb557b0 100644
--- a/tex/context/base/cont-new.mkiv
+++ b/tex/context/base/cont-new.mkiv
@@ -11,7 +11,7 @@
 %C therefore copyrighted by \PRAGMA. See mreadme.pdf for
 %C details.
 
-\newcontextversion{2012.12.04 16:56}
+\newcontextversion{2012.12.04 17:37}
 
 %D This file is loaded at runtime, thereby providing an excellent place for
 %D hacks, patches, extensions and new features.
diff --git a/tex/context/base/context-version.pdf b/tex/context/base/context-version.pdf
index aaf6549c1..54171f57b 100644
--- a/tex/context/base/context-version.pdf
+++ b/tex/context/base/context-version.pdf
diff --git a/tex/context/base/context-version.png b/tex/context/base/context-version.png
index d53e5f80e..c8e24f111 100644
--- a/tex/context/base/context-version.png
+++ b/tex/context/base/context-version.png
diff --git a/tex/context/base/context.mkii b/tex/context/base/context.mkii
index 93cdc7cd9..8ae43f7e7 100644
--- a/tex/context/base/context.mkii
+++ b/tex/context/base/context.mkii
@@ -20,7 +20,7 @@
 %D your styles an modules.
 
 \edef\contextformat {\jobname}
-\edef\contextversion{2012.12.04 16:56}
+\edef\contextversion{2012.12.04 17:37}
 
 %D For those who want to use this:
 
diff --git a/tex/context/base/context.mkiv b/tex/context/base/context.mkiv
index 6cd27d3e7..802648386 100644
--- a/tex/context/base/context.mkiv
+++ b/tex/context/base/context.mkiv
@@ -25,7 +25,7 @@
 %D up and the dependencies are more consistent.
 
 \edef\contextformat {\jobname}
-\edef\contextversion{2012.12.04 16:56}
+\edef\contextversion{2012.12.04 17:37}
 
 %D For those who want to use this:
 
diff --git a/tex/context/base/math-noa.lua b/tex/context/base/math-noa.lua
index 3a04645d1..ad7343d34 100644
--- a/tex/context/base/math-noa.lua
+++ b/tex/context/base/math-noa.lua
@@ -493,7 +493,8 @@ end
 -- to the fact that \not= is not producing valid pdf-a code.
 -- The code does not solve this for virtual characters but it does
 -- a decent job on collapsing so that fonts that have the right
--- glyph will have a decent unicode point.
+-- glyph will have a decent unicode point. In the meantime this code
+-- has been moved elsewhere.
 
 local collapse = { } processors.collapse = collapse
 
diff --git a/tex/context/base/math-vfu.lua b/tex/context/base/math-vfu.lua
index 4738844c3..317924a41 100644
--- a/tex/context/base/math-vfu.lua
+++ b/tex/context/base/math-vfu.lua
@@ -417,6 +417,7 @@ function vfmath.addmissing(main,id,size)
     jointwo  (main,characters,id,size,0x2260,0x00338,0,0x0003D)                       -- \not\equal
     jointwo  (main,characters,id,size,0x2284,0x00338,0,0x02282)                       -- \not\subset
     jointwo  (main,characters,id,size,0x2285,0x00338,0,0x02283)                       -- \not\supset
+    jointwo  (main,characters,id,size,0x2209,0x00338,0,0x02208)                       -- \not\in
     jointwo  (main,characters,id,size,0x22A7,0x0007C,joinrelfactor,0x0003D)           -- \mathrel|\joinrel=
     jointwo  (main,characters,id,size,0x27F5,0x02190,joinrelfactor,0x0002D)           -- \leftarrow\joinrel\relbar
     jointwo  (main,characters,id,size,0x27F6,0x0002D,joinrelfactor,0x02192)           -- \relbar\joinrel\rightarrow
diff --git a/tex/context/base/status-files.pdf b/tex/context/base/status-files.pdf
index 08fccd1d3..5b0b9890b 100644
--- a/tex/context/base/status-files.pdf
+++ b/tex/context/base/status-files.pdf
diff --git a/tex/context/base/status-lua.pdf b/tex/context/base/status-lua.pdf
index bddcf54a9..81fefce76 100644
--- a/tex/context/base/status-lua.pdf
+++ b/tex/context/base/status-lua.pdf
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua
index 306747e86..c874154b0 100644
--- a/tex/generic/context/luatex/luatex-fonts-merged.lua
+++ b/tex/generic/context/luatex/luatex-fonts-merged.lua
@@ -1,6 +1,6 @@
 -- merged file : luatex-fonts-merged.lua
 -- parent file : luatex-fonts.lua
--- merge date  : 12/04/12 16:56:37
+-- merge date  : 12/04/12 17:37:29
 
 do -- begin closure to overcome local limits and interference