| Sun, 05 Apr 2020 13:05:40 +0200 | wenzelm | clarified names; | file | diff | annotate |
| Sun, 14 Aug 2016 12:26:09 +0200 | blanchet | killed final stops in Sledgehammer and friends | file | diff | annotate |
| Sat, 02 Apr 2016 23:29:05 +0200 | wenzelm | prefer infix operations; | file | diff | annotate |
| Tue, 03 Nov 2015 13:54:34 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Fri, 02 Oct 2015 21:15:25 +0200 | blanchet | further reduced dependency on legacy async thread manager | file | diff | annotate |
| Tue, 21 Jul 2015 14:12:45 +0200 | wenzelm | more explicit thread identification; | file | diff | annotate |
| Thu, 29 Jan 2015 16:35:29 +0100 | wenzelm | more explicit indication of Async_Manager_Legacy as Proof General legacy; | file | diff | annotate | base |