From 30f611aa842f9a04a705fdb770fd903452ddf808 Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 14 Jul 2011 14:51:33 +0000
Subject: [PATCH] Matitaweb: changes to utf8MacroTable.js

---
 matitaB/matita/utf8MacroTable.js | 22 ++++++++++------------
 1 file changed, 10 insertions(+), 12 deletions(-)

diff --git a/matitaB/matita/utf8MacroTable.js b/matitaB/matita/utf8MacroTable.js
index d9ec07381..a8ea98f50 100644
--- a/matitaB/matita/utf8MacroTable.js
+++ b/matitaB/matita/utf8MacroTable.js
@@ -583,12 +583,12 @@ macro2utf8["supplus"] = "&#10944;";
 utf82macro["&#10944;"] = "supplus";
 macro2utf8["RightUpDownVector"] = "&#10575;";
 utf82macro["&#10575;"] = "RightUpDownVector";
-macro2utf8["Tab"] = "	";
-utf82macro["	"] = "Tab";
+macro2utf8["Tab"] = "\t";
+utf82macro["\t"] = "Tab";
 macro2utf8["Lcedil"] = "&#315;";
 utf82macro["&#315;"] = "Lcedil";
-macro2utf8["backslash"] = "\";
-utf82macro["\"] = "backslash";
+macro2utf8["backslash"] = "\\";
+utf82macro["\\"] = "backslash";
 macro2utf8["pointint"] = "&#10773;";
 utf82macro["&#10773;"] = "pointint";
 macro2utf8["jcy"] = "&#1081;";
@@ -1463,8 +1463,8 @@ macro2utf8["nsqsupe"] = "&#8931;";
 utf82macro["&#8931;"] = "nsqsupe";
 macro2utf8["supset"] = "&sup;";
 utf82macro["&sup;"] = "supset";
-macro2utf8["bsolhsub"] = "\&sub;";
-utf82macro["\&sub;"] = "bsolhsub";
+macro2utf8["bsolhsub"] = "\\&sub;";
+utf82macro["\\&sub;"] = "bsolhsub";
 macro2utf8["nshortparallel"] = "&#8742;&#65024;";
 utf82macro["&#8742;&#65024;"] = "nshortparallel";
 macro2utf8["lozenge"] = "&loz;";
@@ -1723,10 +1723,8 @@ macro2utf8["integers"] = "&#8484;";
 utf82macro["&#8484;"] = "integers";
 macro2utf8["CloseCurlyQuote"] = "&rsquo;";
 utf82macro["&rsquo;"] = "CloseCurlyQuote";
-macro2utf8["NewLine"] = "
-";
-utf82macro["
-"] = "NewLine";
+macro2utf8["NewLine"] = "\n";
+utf82macro["\n"] = "NewLine";
 macro2utf8["fcy"] = "&#1092;";
 utf82macro["&#1092;"] = "fcy";
 macro2utf8["nwarr"] = "&#8598;";
@@ -4075,8 +4073,8 @@ macro2utf8["nvHarr"] = "&#8654;";
 utf82macro["&#8654;"] = "nvHarr";
 macro2utf8["ContourIntegral"] = "&#8750;";
 utf82macro["&#8750;"] = "ContourIntegral";
-macro2utf8["bsol"] = "\";
-utf82macro["\"] = "bsol";
+macro2utf8["bsol"] = "\\";
+utf82macro["\\"] = "bsol";
 macro2utf8["DoubleUpDownArrow"] = "&#8661;";
 utf82macro["&#8661;"] = "DoubleUpDownArrow";
 macro2utf8["disin"] = "&#8946;";
-- 
2.39.2