experimenting

davidcok · Jul 1, 2020 · 5fe61e7 · 5fe61e7
1 parent d558c74
commit 5fe61e7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/temp/DafnyRef.md b/temp/DafnyRef.md
@@ -1,3 +1,5 @@
+<script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+<script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
 
 # Dafny Reference Manual