Joris van der Hoeven ea66b07bac Continued preparations for reorganization of contextual overloading		2012-02-16 11:59:22 +00:00
..
format	Rename	2011-08-28 07:59:50 +00:00
interface	Continued preparations for reorganization of contextual overloading	2012-02-16 11:59:22 +00:00
plugin	Continued preparations for reorganization of contextual overloading	2012-02-16 11:59:22 +00:00
scheme	Continued preparations for reorganization of contextual overloading	2012-02-16 11:59:22 +00:00
source	Rename	2011-08-28 07:59:50 +00:00
style	Fixes in documentation	2012-02-02 22:22:31 +00:00