Thu, 18 May 2017 18:18:01 +0200 | Pierre-Yves David | obshistory: rename the command to "olog" | file | diff | annotate |
Thu, 18 May 2017 18:04:47 +0200 | Pierre-Yves David | obshistory: move the command into the obshistory module | file | diff | annotate |
Thu, 18 May 2017 14:58:22 +0200 | Boris Feld | debugobshistory: handle multiple cycles | file | diff | annotate |
Thu, 18 May 2017 11:29:27 +0200 | Pierre-Yves David | obshistory: add a graph option on the debugobshistory command | file | diff | annotate |
Thu, 18 May 2017 11:29:23 +0200 | Pierre-Yves David | obshistory: import 'node' as 'nodemod' | file | diff | annotate |
Thu, 18 May 2017 10:56:08 +0200 | Pierre-Yves David | label: rename 'evolve.short_node' to 'evolve.node' | file | diff | annotate |
Wed, 17 May 2017 19:20:43 +0200 | Boris Feld | obshistory: refactor debugobshistory | file | diff | annotate |