GitHub/gf-rgl
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-10-29 10:23:18 -06:00
Code Issues Packages Projects Releases Wiki Activity
2,768 Commits 10 Branches 8 Tags
deb144bc4b9ea17ddb300cadfc202395a7c95175
Commit Graph
1303 Commits
Author SHA1 Message Date
aarne a1fdeb6704 next-lib renamed to lib, lib to old-lib 2009-06-22 15:39:08 +00:00
krasimir b698d0f90c move the prelude sources to the prelude directory and add the resource library to cabal 2008-06-19 14:16:05 +00:00
aarne 54d6dd30cc prelude sources to lib/src; present in StructuralEng; refactored checkGFCC 2007-12-13 10:12:00 +00:00