mballance/sveditor — pull request #189 by mballance-sf (2013-03-13 05:29:20+00:00)
Title: Add selective enablement for non-LRM-compliant code

#(247) - Support this case (if (a inside b)) as a non-LRM-compliant case. Added an extensible
preference scheme to allow the user to selectively enable non-LRM cases.