Finish switch to using original wppl source

probmods · Dec 28, 2016 · c7a816d · c7a816d
1 parent cb4dcdd
commit c7a816d
Show file tree

Hide file tree

Showing 5 changed files with 67,769 additions and 26,374 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -321,7 +321,7 @@ <h3>regression testing</h3>
  }
 
 </script>
-<!-- <script src="webppl.js" defer></script> -->
-<script src="https://cdn.webppl.org/webppl-v0.9.6.js" defer></script>
+<script src="https://localhost:8888/home/webppl/bundle/webppl.js" defer></script> -->
+<!-- <script src="https://cdn.webppl.org/webppl-v0.9.6.js" defer></script> -->
 
 </html>