| Thu, 28 Aug 2014 19:07:10 +0200 | blanchet | prefer '0.2 ms' to '249 \<mu>s' | changeset | files |
| Thu, 28 Aug 2014 19:02:37 +0200 | blanchet | use 'thesis' only if it expands to the right thing (it won't after an 'unfolding', for example) | changeset | files |
| Thu, 28 Aug 2014 17:25:56 +0200 | blanchet | fixed second computations | changeset | files |