GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-28 22:12:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

fixes to make resource Makefile to run without errors

Browse Source
This commit is contained in:
aarne
2007-06-18 21:44:50 +00:00
parent f5b929acfc
commit 5f5ca84c7e
8 changed files with 40 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/resource-1.0/api/Constructors.gf
View File

@@ -2,6 +2,8 @@
incomplete resource Constructors = open Grammar in {
flags optimize=noexpand ;
-- This module gives access to the syntactic constructions of the
-- GF Resource Grammar library. Its main principle is simple:
-- to construct an object of type $C$, use the function $mkC$.