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

RGL Browser updates

Browse Source 
- Better layout
- Jump to defition
- Syntax highlighting, line numbers
This commit is contained in:
john.j.camilleri
2012-05-15 12:08:18 +00:00
parent 196281b67e
commit 0bf70c096e
5 changed files with 129 additions and 47 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
doc/browse/index.json
View File

@@ -1,4 +1,5 @@
{
"urlprefix": "/GF",
"languages": {
"abstract": [
"Backward",