Wed, 02 Aug 2017 19:48:06 +0200 Boris Feld obsolete: rename precursor into predecessor in obsolete docstrings
Wed, 02 Aug 2017 19:39:08 +0200 Boris Feld obsstore: rename precursors into predecessors
Wed, 02 Aug 2017 19:34:15 +0200 Boris Feld obsolete: rename _addprecursors into _addpredecessors
Wed, 02 Aug 2017 19:20:59 +0200 Boris Feld obsmarker: rename precnode into prednode
Wed, 02 Aug 2017 19:13:56 +0200 Boris Feld context: rename troubled into isunstable
Wed, 02 Aug 2017 19:09:00 +0200 Boris Feld context: rename bumped into phasedivergent
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip