Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | more liberal merging of BNFs and constructor sugar | file | diff | annotate |
Fri, 07 Feb 2014 10:44:04 +0100 | blanchet | reverted a87e49f4336d -- overwriting of data entries yields to merge problems later | file | diff | annotate |
Thu, 06 Feb 2014 17:05:47 +0100 | blanchet | allow multiple registration of the same type, the last wins | file | diff | annotate |
Fri, 31 Jan 2014 10:02:36 +0100 | traytel | less hermetic tactics | file | diff | annotate |
Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | adjusted comments | file | diff | annotate |
Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | avoid nested 'Tools' directories | file | diff | annotate | base |