Author: ehuelsmann Date: Sun Mar 3 13:36:00 2013 New Revision: 14411 Log: We have LABELS without variables now; delete a branch trying to achieve exactly that. Deleted: branches/variable-less-labels/