Tue, 30 Sep 2014 18:44:01 +0200 | nipkow | tuned | changeset | files |
Tue, 30 Sep 2014 16:40:03 +0200 | blanchet | don't call 'hd' on a possibly empty list | changeset | files |
Tue, 30 Sep 2014 16:01:46 +0200 | blanchet | proper types for applied variables, for typed formats (TFF0, DFG) | changeset | files |