Sun, 15 Jul 2012 14:42:21 +0200 grmlgm edit stable
Pierre-Yves.David@ens-lyon.org [Sun, 15 Jul 2012 14:42:21 +0200] rev 366
grmlgm edit
Sun, 15 Jul 2012 13:07:54 +0200 evolve: switch the official name for "kill" to prune stable
Pierre-Yves.David@ens-lyon.org [Sun, 15 Jul 2012 13:07:54 +0200] rev 365
evolve: switch the official name for "kill" to prune doc have been updated too
Sun, 15 Jul 2012 12:57:22 +0200 doc: cleanup in caveat and 2.1 compat stable
Pierre-Yves.David@ens-lyon.org [Sun, 15 Jul 2012 12:57:22 +0200] rev 364
doc: cleanup in caveat and 2.1 compat
Sun, 15 Jul 2012 12:49:25 +0200 doc: big update of terms and summary of the concept stable
Pierre-Yves.David@ens-lyon.org [Sun, 15 Jul 2012 12:49:25 +0200] rev 363
doc: big update of terms and summary of the concept This is intended to be sent to the mailing list for discussion.
Sat, 14 Jul 2012 18:10:24 +0200 evolve: add the solve alias to obsolete stable
Pierre-Yves.David@ens-lyon.org [Sat, 14 Jul 2012 18:10:24 +0200] rev 362
evolve: add the solve alias to obsolete
Fri, 13 Jul 2012 13:07:42 +0200 obsolete: adapt to core: marker are written in transaction now
Pierre-Yves.David@ens-lyon.org [Fri, 13 Jul 2012 13:07:42 +0200] rev 361
obsolete: adapt to core: marker are written in transaction now
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip