| Mon, 15 Jun 2015 13:29:57 +0200 | wenzelm | moved sections; | changeset | files |
| Mon, 15 Jun 2015 10:38:09 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 15 Jun 2015 10:33:37 +0200 | wenzelm | more robust: variables need not occur in body; | changeset | files |
| Mon, 15 Jun 2015 10:25:49 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 15 Jun 2015 00:23:18 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 14 Jun 2015 23:22:31 +0200 | wenzelm | merged | changeset | files |
| Sun, 14 Jun 2015 23:22:08 +0200 | wenzelm | improved treatment of Element.Obtains via Expression.prepare_stmt; | changeset | files |
| Sun, 14 Jun 2015 20:10:21 +0200 | wenzelm | clarified context; | changeset | files |