| Wed, 26 Feb 2014 10:40:13 +0100 | wenzelm | method language markup, e.g. relevant to prevent outer keyword completion; | changeset | files |
| Wed, 26 Feb 2014 16:48:15 +0100 | kuncar | transfer domain rule for special case of functions - was missing | changeset | files |
| Wed, 26 Feb 2014 15:33:52 +0100 | boehmes | replaced smt-based proof with metis proof that requires no external tool | changeset | files |