소스 검색

Added jquery library to editor.

Sander Mathijs van Veen 14 년 전
부모
커밋
e8d95095a4
1개의 변경된 파일1개의 추가작업 그리고 0개의 파일을 삭제
  1. 1 0
      src/frontend/tpl/editor.html

+ 1 - 0
src/frontend/tpl/editor.html

@@ -3,6 +3,7 @@
     <head>
         <meta http-equiv="content-type" content="text/html; charset=utf-8">
         <title>Mathematical term rewriting frontend</title>
+        <script type="text/javascript" src="../../../build/external/jquery/jquery.min.js"></script>
         <script type="text/javascript" src="../../../external/mathjax/unpacked/MathJax.js?config=TeX-AMS-MML_HTMLorMML-full"></script>
     </head>
     <body>