experimenting

davidcok · Jul 1, 2020 · af064f4 · af064f4
1 parent 4eb0f69
commit af064f4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/temp/DafnyRef.md b/temp/DafnyRef.md
@@ -1,5 +1,3 @@
-<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