GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-06-07 06:06:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

error fix in Constructors documentation

Browse Source
This commit is contained in:
aarne
2008-08-22 14:32:42 +00:00
parent 5d9a1bafb6
commit 608afb6537
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
resource/demo/ClauseI.gf
View File

@@ -17,4 +17,6 @@ lin
ImpV v = ImpVP (UseV v) ;
-- ImpV2 v o = ImpVP (ComplSlash (SlashV2a v) o) ;
}