identifier: Rename token_type_to_string() and make a new version.
[pspp-builds.git] / src / data / short-names.h
2007-11-11 Ben PfaffPatch #6262. New developers guide and resulting fixes...
2007-07-23 Ben PfaffFix problems with uniqueness of short names in system...