summaryrefslogtreecommitdiff
path: root/grammars/multiple/TopMath.gf
diff options
context:
space:
mode:
authoraarne <unknown>2004-09-15 14:36:27 +0000
committeraarne <unknown>2004-09-15 14:36:27 +0000
commita25ee154e760a424ef4aef46a6e3d6fdf1079cf1 (patch)
tree50315c6fe03325fca09e1a922172de111faa7639 /grammars/multiple/TopMath.gf
parent7697b222d0b7053e4b955a6ab9ba2ad0d6c9c512 (diff)
introducing multiple inheritance
Diffstat (limited to 'grammars/multiple/TopMath.gf')
-rw-r--r--grammars/multiple/TopMath.gf1
1 files changed, 1 insertions, 0 deletions
diff --git a/grammars/multiple/TopMath.gf b/grammars/multiple/TopMath.gf
new file mode 100644
index 000000000..997e7299d
--- /dev/null
+++ b/grammars/multiple/TopMath.gf
@@ -0,0 +1 @@
+abstract TopMath = Top, UserMath, SystemMath ** {} ;