verify: new macro 'assume'
[gnulib.git] / modules / fmal-ieee
2012-02-26 Bruno HaibleNew module 'fmal-ieee'.