Thu, 21 Nov 2013 19:13:49 +0100 | wenzelm | merged | changeset | files |
Thu, 21 Nov 2013 17:50:23 +0100 | wenzelm | actually expose errors of cumulative theory dependencies; | changeset | files |
Thu, 21 Nov 2013 17:45:37 +0100 | wenzelm | proper concatenation of messages; | changeset | files |