search

RuleBasedIntegration / Rubi

Rubi for Mathematica
http://rulebasedintegration.org
MIT License
228 stars 23 forks source link

Add auto-highlight for `Int[ ]` #43

Closed Gravifer closed 3 years ago

Gravifer commented 3 years ago

I propose to highlight Int[ ] with the official SyntaxInformation[ ]; if any side-effects are known, this PR shall not be accepted.

Gravifer commented 3 years ago

Covered by pull-request#44.