Mon, 27 Feb 2017 14:58:53 -0800 | Martin von Zweigbergk | merge: make "linear" an input in docstring table | changeset | files |
Mon, 27 Feb 2017 14:33:17 -0800 | Martin von Zweigbergk | merge: drop redundant column in docstring table | changeset | files |
Mon, 27 Feb 2017 14:27:22 -0800 | Martin von Zweigbergk | merge: drop obsolete non-linear cases from docstring table | changeset | files |
Wed, 24 Feb 2016 14:44:14 -0800 | Martin von Zweigbergk | revert: move code dealing with deletions closer together | changeset | files |