GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-08-22 12:16:23 -06:00
Code Issues Packages Projects Releases Wiki Activity
1,962 Commits 9 Branches 8 Tags
7c598faae478e1bc02b556d964e65a7426192811
Commit Graph

10 Commits

Author SHA1 Message Date
john.j.camilleri 2f57fe3c67 RGL Browser: Improved UI, history support 2012-05-25 09:49:12 +00:00
john.j.camilleri 061221e68c RGL Browser: some interface and behavioural improvements 2012-05-23 07:11:59 +00:00
john.j.camilleri 689f9c08c1 RGL Browser: proper syntax highlighting for GF 2012-05-16 10:37:29 +00:00
john.j.camilleri d7042b1ad0 RGL browser: bug in "show local". better screen-space usage. 2012-05-15 14:03:41 +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
john.j.camilleri 0bf70c096e RGL Browser updates 
- Better layout
- Jump to defition
- Syntax highlighting, line numbers
 2012-05-15 12:08:18 +00:00
john.j.camilleri 066a0f2b3e RGL Browser: small user guide, less crash-prone 2012-05-14 14:29:11 +00:00
john.j.camilleri 89f9565617 Fixed encoding issue in Web RGL Browser 2012-05-11 13:49:43 +00:00
john.j.camilleri f6ff96c647 RGL Browser 
(added files which didn't add in previous patch)
 2012-05-11 12:00:52 +00:00