Add Gernot Lecaks for his contributions in gl/haltingproblem.
Attribute fixes to Peter Grassberger.