diff options
Diffstat (limited to 'grammars/video/all.gf')
| -rw-r--r-- | grammars/video/all.gf | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/grammars/video/all.gf b/grammars/video/all.gf new file mode 100644 index 000000000..9fd96be95 --- /dev/null +++ b/grammars/video/all.gf @@ -0,0 +1,13 @@ +-- wrapper module containing both User's and System's grammars. AR 16/9/2004 + +abstract all = specUser,specSystem ** { + +-- Suggestion: use different categories for system's and user's moves +-- and bring them together only here; now both use DMove + +-- cat Move ; +-- fun userMove : UMove -> Move ; +-- fun systemMove : SMove -> Move ; + +} ; + |