| Thu, 22 Jun 2017 15:20:32 +0200 | wenzelm | more informative task_statistics; | file | diff | annotate |
| Tue, 13 Dec 2016 11:51:42 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 22 Jun 2016 10:42:53 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Apr 2016 12:08:02 +0200 | wenzelm | prefer regular context update, to allow continuous editing of Pure; | file | diff | annotate |
| Tue, 29 Mar 2016 21:17:29 +0200 | wenzelm | more position information for type mixfix; | file | diff | annotate |
| Fri, 25 Sep 2015 19:13:47 +0200 | wenzelm | tuned signature: eliminated pointless type Context.pretty; | file | diff | annotate |
| Sun, 29 Mar 2015 19:24:07 +0200 | wenzelm | tuned signature; | file | diff | annotate |