getting non-respec source

Control-shit-alt-S isn't doing the job of getting non-respec source.

Is there any other way of getting respec out of the way so that I can put 
together a version of Semantics that is suitable for publication?

peter

Received on Wednesday, 3 July 2013 17:28:18 UTC