]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ac44bd2)
Changes to utf8MacroTable.js.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 14 Jul 2011 14:02:50 +0000 (14:02 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 14 Jul 2011 14:02:50 +0000 (14:02 +0000)
matitaB/matita/index.html patch | blob | history
matitaB/matita/utf8MacroTable.js patch | blob | history

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index 3daf481d07ceafbf3863a9d3bcd11e87775ec75c..75912b5786b1114e7e82d4acdfbb2ee384d49a27 100644 (file)
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -1,7 +1,7 @@
 <html>
 
 <head>
-<script type="text/javascript" src="Utf8MacroTable.js"></script>
+<script type="text/javascript" src="utf8MacroTable.js"></script>
 <script type="text/javascript" src="matitaweb.js"></script>
 <link rel="stylesheet" type="text/css" href="matitaweb.css"/>
 
diff --git a/matitaB/matita/utf8MacroTable.js b/matitaB/matita/utf8MacroTable.js
index 1603f1dcbc66d8670151310d8b8f5f446a7aa9a4..6ad92e2f1bdd158fb80096cf987bc9f5241614d5 100644 (file)
--- a/matitaB/matita/utf8MacroTable.js
+++ b/matitaB/matita/utf8MacroTable.js
@@ -1,6 +1,6 @@
 /* GENERATED by make_table: DO NOT EDIT! */
-var macro2utf8;
-var utf82macro;
+var macro2utf8 = new Object();
+var utf82macro = new Object();
 macro2utf8["nscr"] = "\240\157\147\131";
 utf82macro["\240\157\147\131"] = "nscr";
 macro2utf8["LJcy"] = "\208\137";
Unnamed repository; edit this file 'description' to name the repository.