Wed, 02 Aug 2017 19:48:06 +0200 | Boris Feld | obsolete: rename precursor into predecessor in obsolete docstrings | changeset | files |
Wed, 02 Aug 2017 19:39:08 +0200 | Boris Feld | obsstore: rename precursors into predecessors | changeset | files |
Wed, 02 Aug 2017 19:34:15 +0200 | Boris Feld | obsolete: rename _addprecursors into _addpredecessors | changeset | files |
Wed, 02 Aug 2017 19:20:59 +0200 | Boris Feld | obsmarker: rename precnode into prednode | changeset | files |
Wed, 02 Aug 2017 19:13:56 +0200 | Boris Feld | context: rename troubled into isunstable | changeset | files |
Wed, 02 Aug 2017 19:09:00 +0200 | Boris Feld | context: rename bumped into phasedivergent | changeset | files |