Added Utf8MacroTable for MatitaWeb.

[helm.git] / matitaB / matita / index.html
diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html

index 7fa3b88ac81df863829d44e049421165ab0eb5d3..3daf481d07ceafbf3863a9d3bcd11e87775ec75c 100644 (file)
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -1,6 +1,7 @@
  <html>
  
  <head>
+<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"/>