| Fri, 17 Sep 2010 15:51:11 +0200 | wenzelm | eliminated markup "location" in favour of more explicit "no_report", which is actually deleted from messages; | changeset | files |
| Thu, 16 Sep 2010 15:37:12 +0200 | wenzelm | Isar "default" step needs to fail for solved problems, for clear distinction of '.' and '..' for example -- amending lapse introduced in 9de4d64eee3b (April 2004); | changeset | files |