;; Weyl version 4.275
(in-package "USER")(setq *weyl-version* (list 4 275))


