GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-30 02:18:55 -06:00
Code Issues Packages Projects Releases Wiki Activity
3,759 Commits 9 Branches 8 Tags
RELEASE-3.8
Commit Graph

3 Commits

Author SHA1 Message Date
john.j.camilleri
689f9c08c1 RGL Browser: proper syntax highlighting for GF 2012-05-16 10:37:29 +00:00
john.j.camilleri
840e2def34 RGL Browser: added show local option 2012-05-15 13:32:49 +00:00
john.j.camilleri
f85af9eec0 RGL Browser updates 
Added files which didn't get added in previous patch (bloody darcs)
 2012-05-15 12:10:30 +00:00