Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Sat, 28 Mar 2015 17:35:14 +0100 | Thomas Wuerthinger | Remove old version of partial evaluation. |
Fri, 27 Mar 2015 17:02:53 +0100 | Thomas Wuerthinger | Merge. |
Fri, 27 Mar 2015 15:43:31 +0100 | Thomas Wuerthinger | Small fixes to IGV layout. |