summaryrefslogtreecommitdiff
path: root/doc/tutorial/music/old/MusicFre.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-06-19 18:07:18 +0000
committeraarne <aarne@cs.chalmers.se>2007-06-19 18:07:18 +0000
commit6a926ee3fc74c5d953d669356d5adfc47e46bbbd (patch)
treeedcffb13a3afbd9f06ce05e173294ed745d58ec7 /doc/tutorial/music/old/MusicFre.gf
parent05d12d86fe62e72cd285a5c1be8024b20af65048 (diff)
overloaded resource doc examples
Diffstat (limited to 'doc/tutorial/music/old/MusicFre.gf')
-rw-r--r--doc/tutorial/music/old/MusicFre.gf6
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/tutorial/music/old/MusicFre.gf b/doc/tutorial/music/old/MusicFre.gf
new file mode 100644
index 000000000..4992589ef
--- /dev/null
+++ b/doc/tutorial/music/old/MusicFre.gf
@@ -0,0 +1,6 @@
+--# -path=.:present:prelude
+
+
+ concrete MusicFre of Music = MusicI with
+ (Grammar = GrammarFre),
+ (MusicLex = MusicLexFre) ;