Sat, 02 May 2020 23:31:31 +0800 | Anton Shestakov | changelog: mention obsorigin template keyword | changeset | files |
Tue, 10 Mar 2020 17:18:09 +0700 | Anton Shestakov | templatekw: add obsorigin keyword | changeset | files |
Fri, 24 Apr 2020 01:14:34 +0800 | Anton Shestakov | obshistory: add predecessorsandmarkers() | changeset | files |
Fri, 24 Apr 2020 01:09:30 +0800 | Anton Shestakov | obshistory: add a function to group predsets by fold-id | changeset | files |