| Mon, 11 Aug 2014 20:46:56 +0200 | wenzelm | clarified modules; | changeset | files |
| Mon, 11 Aug 2014 20:30:01 +0200 | wenzelm | clarified signature: entity serial number is not position id; | changeset | files |
| Tue, 12 Aug 2014 17:18:12 +0200 | blanchet | avoid needless (and wrong w.r.t. sorts) generation of type variables; tuned whitespaces; | changeset | files |