diff --git a/Rubi/Rubi.m b/Rubi/Rubi.m index 022592c..197477e 100644 --- a/Rubi/Rubi.m +++ b/Rubi/Rubi.m @@ -94,6 +94,8 @@ Unprotect[Int]; Clear[Int]; Clear[Unintegrable]; Clear[CannotIntegrate]; +(*auto-highlighting for Int[]*) +SyntaxInformation[Int] = {"LocalVariables" -> {"Integrate", {2, 2}}}; (* The order of loading the rule-files below is crucial to ensure a functional Rubi integrator! *) LoadRules[$utilityPackage];