Skip to content

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

Open
wants to merge 7 commits into
base: master
Choose a base branch
from

Conversation

Balletie
Copy link

@Balletie Balletie commented Jun 28, 2016

These are the manual pages for installing and configuring the Spoofax REPL. Two things that still have to be done:

  • The JavaDocs can be included once the source code has been merged into metaborg/spoofax-shell.
  • The installation and/or usage instructions for the Eclipse plugin still has to be written.

Please let me know if you think something is not clear or needs more explaining.

@@ -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
Copy link
Author

@Balletie Balletie Jun 28, 2016

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.

@hendrikvanantwerpen
Copy link
Contributor

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.

@Balletie
Copy link
Author

Balletie commented Jul 1, 2016

@hendrikvanantwerpen I included a link on the front page, next to the Intellj plugin. Commit de82a19 should fix your feedback.

@eelcovisser
Copy link
Contributor

what is the status of the REPL and this documentation @hendrikvanantwerpen ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants