aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/trac/trac-346.v
blob: e6cc67f448c4a44fa05d62bb74faefcf7dd58c13 (plain)
1
2
3
4
5
Open Scope ... (* is not colorized at all, *)

Reserved Notation ... (* has only "Notation" colorized, *)

Set Implicit Arguments. (* has only "Set" colorized, in a wrong way. *)