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

Add additional steps format and auto-highlights #44

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

Gravifer
Copy link

This modification is a result from issue#34;
the additional IntWithStepsOfTeXForm by @wuyudi and IntTraditional by @asdasd1dsadsa are integrated (with some change) as accepted values (resp., TeXForm and TraditionalForm) for the RubiPrintInformation option to the Steps function.
The corresponding ::usage message is modified as well.

MakeBox formatting for Subst is added as suggested by @asdasd1dsadsa, with minor modification.
SyntaxInformation is added for Int and Steps; this covers the pull-request#43.

This modification is a result from [issue#34](RuleBasedIntegration#34 (comment)); 
the additional `IntWithStepsOfTeXForm` by [@wuyudi](https://github.com/wuyudi) and `IntTraditional` by [@asdasd1dsadsa](https://github.com/asdasd1dsadsa) are integrated (with some change) as accepted values (resp., `TeXForm` and `TraditionalForm`) for the `RubiPrintInformation` option to the `Steps` function.
The corresponding `::usage` message is modified as well.

`MakeBox` formatting for `Subst` is added as suggested by [@asdasd1dsadsa](https://github.com/asdasd1dsadsa), with minor modification. 
`SyntaxInformation` is added for `Int` and `Steps`; this covers the [pull-request#43](RuleBasedIntegration#43 (comment)).
@asdasd1dsadsa
Copy link

By the way, the IntTraditional has been improved as https://github.com/asdasd1dsadsa/RubiSteps

@Gravifer
Copy link
Author

@asdasd1dsadsa Wow this is so neat!

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

Successfully merging this pull request may close these issues.

2 participants