| Sat, 10 Aug 2013 12:00:34 +0200 | kleing | prefer local facts over global ones | changeset | files |
| Sat, 10 Aug 2013 11:59:03 +0200 | kleing | use local context for name space | changeset | files |
| Sat, 10 Aug 2013 10:59:56 +0200 | wenzelm | explicit "strict" flag for print functions (flipped internal meaning); | changeset | files |
| Sat, 10 Aug 2013 10:15:30 +0200 | kleing | avoid unnecessary case distinction | changeset | files |
| Sat, 10 Aug 2013 09:06:42 +0200 | kleing | adjust tooltip for duplicates option | changeset | files |
| Fri, 09 Aug 2013 20:44:46 +0200 | wenzelm | merged | changeset | files |
| Fri, 09 Aug 2013 20:31:51 +0200 | wenzelm | NEWS; | changeset | files |