You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -609,15 +609,15 @@ class headerComponent extends AbstractTreeComponentParser {
609
609
return`div
610
610
h1
611
611
a
612
-
href https://treenotation.org
612
+
href https://notation.scroll.pub
613
613
style text-decoration: none;
614
614
img
615
615
id logo
616
616
src /images/helloWorld3D.svg
617
-
title TreeNotation.org
617
+
title Notation.Scroll.pub
618
618
span ${this._getTitle()}
619
619
p
620
-
a Tree Notation Sandbox
620
+
a Scroll Notation Sandbox
621
621
href /sandbox/
622
622
span |
623
623
a Help
@@ -637,12 +637,12 @@ class headerComponent extends AbstractTreeComponentParser {
637
637
id helpSection
638
638
style display: none;
639
639
p This is a simple web IDE for designing and building Tree Languages. To build a Tree Language, you write code in a "grammar language" in the textarea on the left. You can then write code in your new language in the textarea on the right. You instantly get syntax highlighting, autocomplete, type/cell checking, suggested corrections, and more.
640
-
p Click "Newlang" to create a New Language, or explore/edit existing languages. In dev tools, you can access the parsed trees below as "app.grammarProgram" and program at "app.program". We also have a work-in-progress <a href="https://jtree.treenotation.org/grammarTutorial.html">Tutorial for creating new Tree Languages using Grammar</a>.`
640
+
p Click "Newlang" to create a New Language, or explore/edit existing languages. In dev tools, you can access the parsed trees below as "app.grammarProgram" and program at "app.program". We also have a work-in-progress <a href="https://sdk.scroll.pub/grammarTutorial.html">Tutorial for creating new Tree Languages using Grammar</a>.`
0 commit comments