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.

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

Exit doc tweaks #1007

Merged
merged 9 commits into from
Feb 10, 2024
Merged

Exit doc tweaks #1007

merged 9 commits into from
Feb 10, 2024

Conversation

rocky
Copy link
Member

@rocky rocky commented Feb 10, 2024

Add Kernel Sessions and Evaluation Control ...

Go over Quit[] and Exit[] docstrings, and put this into Chapter "Kernel. Session"s.

Move Out[] from Main Loop Chapter (which is not really a guide section).

Add a title to mathics.builtin.evaluation so that it will be seen in the docs.

mmatera and others added 8 commits February 8, 2024 18:03
Just fix the doctest that produces the error in #999 (probably because
that PR fixes something that makes the test to run)
Tolerate situation when optional OCR package does not exist
This is the part of pytests in #999.

Co-authored-by: rocky <rb@dustyfeet.com>
Things we need to do to get #984 functionality for the current master. 

A bit of code has been DRY'd.

---------

Co-authored-by: Juan Mauricio Matera <matera@fisica.unlp.edu.ar>
Go over Quit and Exit docstrings, and put this into Chapter: Kernel
Sessions. Move 'Out[]' from Main Loop (which is not really a guide section).

Add title to mathics.builtin.evaluation so that it will be seen in the docs.
@rocky rocky requested a review from mmatera February 10, 2024 07:16
Copy link
Contributor

@mmatera mmatera left a comment

Choose a reason for hiding this comment

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

LGTM

@rocky rocky merged commit b779c53 into Exit Feb 10, 2024
7 checks passed
@rocky rocky deleted the Exit-doc-tweaks branch February 10, 2024 14:13
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.

2 participants