lib/scripts/keywords.pl
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-06-28 wenzelm 2008-06-28 allow overlap of minor keywords and commands;
2007-10-08 wenzelm 2007-10-08 tuned generated comment;
2007-10-08 wenzelm 2007-10-08 tuned generated comment;
2007-10-07 wenzelm 2007-10-07 tuned generated comment;
2007-10-07 wenzelm 2007-10-07 added target tool specification; added jEdit output;
2007-10-06 wenzelm 2007-10-06 generate outer syntax keyword files from session logs;