| Tue, 31 Mar 2015 17:34:52 +0200 | wenzelm | clarified role of naming for background theory: transform_binding (e.g. for "concealed" flag) uses naming of hypothetical context; | file | diff | annotate |
| Wed, 17 Dec 2014 16:51:29 +0100 | blanchet | tuning | file | diff | annotate |
| Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |
| Mon, 13 Oct 2014 22:43:29 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 13 Oct 2014 21:46:41 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 13 Oct 2014 21:41:29 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 13 Oct 2014 19:34:10 +0200 | wenzelm | clarified load order; | file | diff | annotate |
| Mon, 13 Oct 2014 17:04:25 +0200 | wenzelm | support for indirections (defined entries), e.g. relevant for quickcheck and its sub-plugins; | file | diff | annotate |
| Mon, 13 Oct 2014 15:45:23 +0200 | wenzelm | support for named plugins for definitional packages; | file | diff | annotate |