chiark / gitweb /
Add functions provided by the midend to tell a front end whether GUI