On Thu, Oct 10, 2002 at 06:41:37PM +0200, Andre Poenitz wrote: > > Straightforward implementation of a "new feature" from an anonymous(?) > source: > > xalignat und xxalignat are de facto obsolete and > and can be replaced by flalign.
Then remove the xalignat/xxalignat from the menus.
