You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Sam Tobin-Hochstadt 02018fa499 Use `#lang info` instead of `#lang setup/infotab`. ... original commit: 5a7ca7ebb56b2215f2d395ed052c03ea740817ea		11 years ago
pkgs/parser-tools-pkgs	Use `#lang info` instead of `#lang setup/infotab`.	11 years ago