Admin/update-keywords
2007-07-10 wenzelm 2007-07-10 cd ISABELLE_HOME/etc;
2006-11-11 wenzelm 2006-11-11 Update standard keyword files.