amalgame/commit

merged two util files into one ...

authorJacco van Ossenbruggen
Mon Jan 28 18:53:00 2013 +0100
committerJacco van Ossenbruggen
Mon Jan 28 18:53:00 2013 +0100
commit203317b234be8127960ef04f0562fca59f5d1878
treea24cdc164cce028e992652aeba257e237663f2db
parent1288ffacfd6477a08594dfeb919fa1e054eaa1ce
Diff style: stat patch
 api/mapping.pl                 |   1 +
 api/mappinglist.pl             |   2 ++
 lib/ag_modules/arity_select.pl |   2 +
 lib/ag_modules/best_numeric.pl |   3 +
 lib/ag_util.pl                 | 140 +++++++++++++++++++++++++++++++++++++++++
 lib/amalgame/map.pl            |   2 ++
 lib/amalgame/util.pl           | 139 ++++++++++++++++++++++++++++++++++++++++
 7 files changed, 140 insertions(+), 149 deletions(-)