Merge private git for latim grammar into official darcs.
See https://github.com/daherb/GF orhttps://gitlab.cip.ifi.lmu.de/langeh/gf for full git commit history
This commit is contained in:
1 parent
1a7258040c
commit
b47d375547
55 files changed
+52150
-1606
No files matched your search
+2
-2
@@ -1,6 +1,6 @@
|
||||
--# -path=.:../abstract:../common:prelude
|
||||
|
||||
concrete AllLat of AllLatAbs =
|
||||
LangLat
|
||||
-- ExtraLat
|
||||
LangLat,
|
||||
ExtraLat
|
||||
** {} ;
|
||||
Reference in new issue
Block a user