GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-09-01 08:56:58 -06:00
Code Issues Packages Projects Releases Wiki Activity
1,535 Commits 9 Branches 8 Tags
70bbb8fe72c74cf71ad839d18925d5e92743ce6b
Commit Graph
3 Commits
Author SHA1 Message Date
aarne 20b75b8919 a script for cloning (Phrasebook) grammars 2010-04-07 14:59:55 +00:00
krasimir aa64592e37 store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet 2010-03-22 21:15:29 +00:00
aarne a1fdeb6704 next-lib renamed to lib, lib to old-lib 2009-06-22 15:39:08 +00:00