Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Documentation ast pluto #106

Merged
merged 14 commits into from
Oct 3, 2024
Merged

Documentation ast pluto #106

merged 14 commits into from
Oct 3, 2024

Conversation

pwochner
Copy link
Contributor

  • Replaces Jupyter notebook for tutorials with Pluto notebooks.
  • Docs: Make.jl creates .md file from tutorial html files (Conversion from Pluto .jl to .html will be part of CI in the future)
  • Replaces deprecated @cfgrammar with @csgrammar in tutorials.

pwochner added 12 commits July 22, 2024 16:39
@pwochner
Bug fix in tutorial 'A more verbose getting started'
0b8edc9
@pwochner
Convert tutorials Verbose getting started and Getting started with Co…
fd5d48c 
…nstraints into pluto notebooks.
@pwochner
Pluot notebook for AST tutorial
115187a
@pwochner
Replace broken constraint. Replace cfgrammar with csgrammar.
a067c52
@pwochner
Pluto notebook for tutorial Defining Grammars.
9c054af
@pwochner
Replace deprecated cfgrammar.
d463fc6
@pwochner
Fix broken code for parameters section of tutorial.
11faf5a
@pwochner
Improve tutorials.
6b3f8e0
@pwochner
Fix rightmost-first heuristic for BFSIterator. Add more explanations.…
f8b331d 
… Remove sampling, etc. part at the end.
@pwochner
Better way to use rightmost-heuristic. Improvements on tutorial text.
661270e
@pwochner
Deletes md/notbook files of tutorials that are replaced by Pluto note…
4e9ebd3 
…books. Update htmls for docs.
@pwochner
Change section headings for BFS/DFS.
8609bb1
ReubenJ
ReubenJ approved these changes Oct 2, 2024
View reviewed changes
Copy link
Member

@ReubenJ ReubenJ left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If you want, you can remove the extra begin/end, but otherwise, looks good to publish for now! 👍

docs/src/tutorials/advanced_search.jl Outdated Show resolved Hide resolved
@ReubenJ ReubenJ mentioned this pull request Oct 3, 2024
Merged
@pwochner pwochner merged commit cf02c8e into documentation Oct 3, 2024
4 checks passed
@pwochner pwochner deleted the documentation-ast-pluto branch October 3, 2024 14:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ReubenJ ReubenJ ReubenJ approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@pwochner @ReubenJ