Fri, 19 May 2017 18:43:21 +0200 Boris Feld effectflag: allow to save effect of change in obsmarkers
Fri, 19 May 2017 18:07:56 +0200 Pierre-Yves David merge back with stable
Fri, 19 May 2017 17:48:44 +0200 Pierre-Yves David readme: fix version number
Fri, 19 May 2017 17:34:45 +0200 Pierre-Yves David next: prevent a color related crash when evolve stable
Fri, 19 May 2017 17:33:27 +0200 Pierre-Yves David prune: prevent a color related crash when the working copy is moved stable
Thu, 18 May 2017 22:40:17 -0700 Rodrigo Damazio Bovendorp evolve: adding longer aliases for olog
Fri, 19 May 2017 11:16:22 +0200 Pierre-Yves David debugobsstorestat: add markers size information
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip