(until_short): Remove `inline' qualifier. Otherwise, passing function as argument to `hol_entry_first_short' fails on some systems.
2007-06-22T15:30:37