amalgame/commit

IMPROVED: fix more old reference to Matcher class

authorJacco van Ossenbruggen
Mon Sep 8 23:02:16 2014 +0200
committerJacco van Ossenbruggen
Mon Sep 8 23:02:16 2014 +0200
commit2478d33171759060b723f18a4450e1541670367c
treecc2ab517eb845fed143f4a8b3f766c48634876d6
parent77d7f7244930a85237c650e7cff7858c7eaccd88
Diff style: stat patch
 api/hints.pl                            |   2 ++
 api/strategy_viz.pl                     |   2 ++
 components/amalgame/controls.pl         |  14 ++++
 config-available/ag_modules.pl          |   6 ++
 lib/ag_drivers/exec_amalgame_process.pl |  58 +++++++++++++++
 rdf/tool/ag_modules.ttl                 | 123 ++++++++++++++++++++++++++++++++
 rdf/tool/amalgame.ttl                   |   7 ++
 web/js/controls.js                      |  16 +++++
 web/js/infobox.js                       |  12 ++++
 9 files changed, 114 insertions(+), 126 deletions(-)