"definition" environment labelling bug

From: Juan Falgueras (juanfc@LCC.UMA.ES)
Date: 11 May 99, 21:51 EST

• Next message: Juan Falgueras: "sty inclusion in selection typesetting"
• Previous message: Juan Falgueras: "Recent menu easy improvement"
• Next in thread: Dominique Dhumieres: "Re: "definition" environment labelling bug"
• Reply: Dominique Dhumieres: "Re: "definition" environment labelling bug"

From: Juan Falgueras <juanfc@LCC.UMA.ES>
Subject:      "definition" environment labelling bug

Please consider the "definition" environment labelling bug --already
posted (or incoherence, with respect to the rest, that use : instead
the point .  the "definition" uses).

-- juan falgueras <juanfc@lcc.uma.es>

• Next message: Juan Falgueras: "sty inclusion in selection typesetting"
• Previous message: Juan Falgueras: "Recent menu easy improvement"
• Next in thread: Dominique Dhumieres: "Re: "definition" environment labelling bug"
• Reply: Dominique Dhumieres: "Re: "definition" environment labelling bug"