Tue, 11 Sep 2012 16:19:27 +0200 |
Pierre-Yves David |
fix readme header
stable
|
Tue, 11 Sep 2012 16:17:56 +0200 |
Pierre-Yves David |
slight change to the evolve logo
stable
|
Tue, 11 Sep 2012 16:17:11 +0200 |
Pierre-Yves David |
docs: fix makefile
stable
|
Tue, 11 Sep 2012 15:59:27 +0200 |
Pierre-Yves David |
doc: add a logo
stable
|
Tue, 11 Sep 2012 15:57:54 +0200 |
Pierre-Yves David |
README: remove bogus date
stable
|
Tue, 11 Sep 2012 14:05:37 +0200 |
Pierre-Yves David |
update changelog
stable
|
Tue, 11 Sep 2012 13:51:24 +0200 |
Pierre-Yves David |
commit --amend: adap to core 63e45aee46d4
stable
|
Tue, 11 Sep 2012 12:38:49 +0200 |
Pierre-Yves David |
createmarkers: adapt to f85816af6294 in core
stable
|
Tue, 11 Sep 2012 12:30:22 +0200 |
Pierre-Yves David |
warning: work around phase limitation when computing warnings
stable
|
Tue, 11 Sep 2012 12:19:13 +0200 |
Pierre-Yves David |
caches: now in core adapt to fb72eec7efd8
stable
|
Tue, 11 Sep 2012 11:45:00 +0200 |
Pierre-Yves David |
evolve-cmd: fix merge error detection for external tools.
stable
|
Mon, 10 Sep 2012 18:56:44 +0200 |
Pierre-Yves David |
Properly update after fold
stable
|