Adjust web editor to new route

web/packages/app/assets/tutorial.html

@@ -39,7 +39,7 @@ <h1>The Proof Expression Problem</h1>
               <summary aria-haspopup="listbox" role="button" class="secondary">Examples</summary>
               <ul role="listbox">
                 {{#each examples}}
-                  <li><a onclick="jumpToHash('{{this}}.pol')" >{{this}}</a></li>
+                <li><a onclick="jumpToHash('{{this}}.pol')">{{this}}</a></li>
                 {{/each}}
               </ul>
             </details>
@@ -59,15 +59,16 @@ <h1>The Proof Expression Problem</h1>
     <!-- Editor -->
     <section>
       <div class="editor-container">
-        <iframe class="editor-frame" id="editor-frame" src="/editor"></iframe>
+        <iframe class="editor-frame" id="editor-frame" src="/oopsla24/editor"></iframe>
       </div>
     </section>
     <!-- Tutorial -->
     <section id="tutorial">
       <h4>Tutorial</h4>
       <p>
         This is a short overview of the syntax of our language.
-        Feel free to copy and paste sections of the tutorial code into the interactive editor above to try out the examples on your own.
+        Feel free to copy and paste sections of the tutorial code into the interactive editor above to try out the
+        examples on your own.
       </p>
 
       <details>
@@ -106,4 +107,5 @@ <h4>Tutorial</h4>
     </section>
   </main>
 </body>
-</html>
+
+</html>

web/packages/app/src/editor/app.ts

@@ -81,7 +81,7 @@ export default class App {
       if (filepath === "") {
         filepath = "tutorial.pol";
       }
-      const url = `${location.protocol}//${location.host}/examples/${filepath}`;
+      const url = `${location.protocol}//${location.host}/oopsla24/examples/${filepath}`;
       const response = await fetch(url);
       if (!response.ok) {
         model.setValue("");