| Wed, 07 Jun 2017 21:19:33 +0200 | wenzelm | clarified output; | file | diff | annotate |
| Wed, 07 Jun 2017 20:06:50 +0200 | wenzelm | update strictly local imports only; | file | diff | annotate |
| Wed, 07 Jun 2017 19:41:05 +0200 | wenzelm | proper imports_base; | file | diff | annotate |
| Wed, 07 Jun 2017 19:13:22 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 06 Jun 2017 23:13:53 +0200 | wenzelm | clarified import of loaded theory; | file | diff | annotate |
| Sun, 14 May 2017 20:22:54 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 14 May 2017 17:19:22 +0200 | wenzelm | prefer explicit progress channel; | file | diff | annotate |
| Sun, 14 May 2017 15:58:07 +0200 | wenzelm | clarified: repository files before commit; | file | diff | annotate |
| Sun, 23 Apr 2017 23:06:50 +0200 | wenzelm | support for potential session imports; | file | diff | annotate |
| Sun, 23 Apr 2017 19:17:04 +0200 | wenzelm | tuned messages; | file | diff | annotate |
| Sun, 23 Apr 2017 18:47:56 +0200 | wenzelm | support for Mercurial manifest check; | file | diff | annotate |
| Sun, 23 Apr 2017 16:18:31 +0200 | wenzelm | support for multiple operations via options; | file | diff | annotate |
| Sun, 23 Apr 2017 15:59:51 +0200 | wenzelm | clarified tool name -- more official status; | file | diff | annotate | base |