# File lib/rouge/lexers/coq.rb, line 49
      def self.tacticals
        @tacticals ||= Set.new %w(
          repeat first try
        )
      end