-
Notifications
You must be signed in to change notification settings - Fork 22
Spoofax REPL manual #6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: master
Are you sure you want to change the base?
Conversation
@@ -4,4 +4,4 @@ recommonmark>=0.4.0 | |||
sphinx_rtd_theme>=0.1.9 | |||
pygments>=2.1.3 | |||
javasphinx>=0.9.13 | |||
git+https://github.com/metaborg/metaborg-pygments.git@master#egg=metaborg-pygments | |||
git+https://github.com/spoofax-shell/metaborg-pygments.git@master#egg=metaborg-pygments |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This change will be removed once metaborg/metaborg-pygments#3 is merged.
Currently both REPL and Shell are used interchangeably. I think for consistency it may be better to settle on one term, and use (interactive) shell everywhere. |
@hendrikvanantwerpen I included a link on the front page, next to the Intellj plugin. Commit de82a19 should fix your feedback. |
what is the status of the REPL and this documentation @hendrikvanantwerpen ? |
These are the manual pages for installing and configuring the Spoofax REPL. Two things that still have to be done:
Please let me know if you think something is not clear or needs more explaining.