From bfbe2e3d47e5f1904846609c80058f0561d76ede Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 19 Dec 2005 16:31:40 +0000 Subject: resource examples --- doc/tutorial/applications/CommentsEng.gf | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 doc/tutorial/applications/CommentsEng.gf (limited to 'doc/tutorial/applications/CommentsEng.gf') diff --git a/doc/tutorial/applications/CommentsEng.gf b/doc/tutorial/applications/CommentsEng.gf new file mode 100644 index 000000000..cd8879118 --- /dev/null +++ b/doc/tutorial/applications/CommentsEng.gf @@ -0,0 +1,2 @@ +concrete CommentsEng of Comments = CommentsI with + (Syntax = SyntaxEng) ; -- cgit v1.2.3