Merge branch 'master' of github.com:probmods/webppl-editor

probmods · Aug 4, 2016 · ceb40cd · ceb40cd
2 parents f2ec7c5 + e4f4a26
commit ceb40cd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-A browser-based code editor for WebPPL (requires version 0.8.1 or higher)
+A browser-based code editor for WebPPL (requires version 0.9.0 or higher)
 
 Demo: https://probmods.github.io/webppl-editor
 
@@ -9,8 +9,8 @@ Usage:
 <head>
 <meta charset="UTF-8"> <!-- tell the browser that editor.js contains unicode -->
 <script src="webppl.js"></script> <!-- compiled webppl library; get this from https://github.com/probmods/webppl -->
-<script src="editor.js"></script>
-<link rel="stylesheet" href="editor.css">
+<script src="webppl-editor.js"></script>
+<link rel="stylesheet" href="webppl-editor.css">
 </head>
 <body>
 ...