| Mon, 11 Aug 2014 22:29:48 +0200 | wenzelm | more explicit type Span in Scala, according to ML version; | changeset | files |
| 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 |
| Tue, 12 Aug 2014 15:48:59 +0200 | blanchet | improved unfolding of 'let's | changeset | files |
| Tue, 12 Aug 2014 15:48:59 +0200 | blanchet | tuned whitespace | changeset | files |
| Tue, 12 Aug 2014 15:48:59 +0200 | blanchet | less aggressive unfolding; removed debugging; | changeset | files |
| Tue, 12 Aug 2014 12:32:05 +0200 | desharna | document property 'set_cases' | changeset | files |