chiark / gitweb /
added first cut at Praxis, renamed constants