Wide coverage translation demo: updated to use App15.pgf

This commit is contained in:
hallgren
2015-11-27 09:56:49 +00:00
parent 5dcdf46b90
commit d0b60f5458
2 changed files with 4 additions and 2 deletions

View File

@@ -3,7 +3,7 @@
var gftranslate = {}
gftranslate.jsonurl="/robust/App14.pgf"
gftranslate.jsonurl="/robust/App15.pgf"
gftranslate.grammar="App" // the name of the grammar
gftranslate.documented_classes=