amalgame/commit

one more big alignment -> strategy renaming operation

authorJacco van Ossenbruggen
Mon Jul 28 23:14:13 2014 +0200
committerJacco van Ossenbruggen
Mon Jul 28 23:14:13 2014 +0200
commit23403a69e549080ce84fd663850fad5542f08906
treeb9ce8cf8df128bc9b417af2903ab8bcbef91e601
parent765536424507605c5f4f8f8f5b1cb8eb360125f1
Diff style: stat patch
 api/ag_process.pl            | 24 +++++++++++++++++++++++
 api/hints.pl                 | 22 +++++++++++++++++++++
 api/mapping.pl               |  6 ++++++
 api/mappinglist.pl           | 14 ++++++++++++++
 api/node_info.pl             |  2 ++
 applications/analyser.pl     | 18 +++++++++++++++++
 applications/builder.pl      | 26 +++++++++++++++++++++++++
 applications/evaluater.pl    | 20 +++++++++++++++++++
 applications/publisher.pl    | 26 +++++++++++++++++++++++++
 applications/startpage.pl    | 28 +++++++++++++++++++++++++++
 applications/strategy_viz.pl | 46 ++++++++++++++++++++++++++++++++++++++++++++
 components/amalgame/util.pl  |  4 ++++
 lib/amalgame/util.pl         | 24 +++++++++++++++++++++++
 web/js/builder.js            | 26 +++++++++++++++++++++++++
 web/js/evaluater.js          | 10 ++++++++++
 web/js/infobox.js            | 14 ++++++++++++++
 web/js/mapping.js            |  8 ++++++++
 web/js/mappingtable.js       |  6 ++++++
 web/js/startpage.js          |  8 ++++++++
 web/js/strategy_viz.js       | 14 ++++++++++++++
 web/js/vocabulary.js         |  6 ++++++
 21 files changed, 171 insertions(+), 181 deletions(-)