John J. Camilleri 1d06f09813 Merge branch 'master' of github.com:GrammaticalFramework/GF

2018-06-09 20:44:24 +02:00

..

google-code-prettify

RGL Browser: proper syntax highlighting for GF

2012-05-16 10:37:29 +00:00

.gitignore

Minor fix in RGL browser

2018-06-09 20:44:00 +02:00

ajax-loader.gif

RGL Browser

2012-05-11 12:00:52 +00:00

build-tags.sh

Minor fix in RGL browser

2018-06-09 20:44:00 +02:00

icon.png

RGL Browser: added favicon

2012-07-17 08:01:43 +00:00

icon.xcf

RGL Browser: added favicon

2012-07-17 08:01:43 +00:00

index.html

RGL browser: add ability to search for module name

2014-01-29 10:53:07 +00:00

index.json

(Dut) Remove MorphoDut + update change in other files

2018-06-05 11:24:12 +02:00

jquery.history.min.js

RGL Browse: version 2, including API search

2013-07-23 14:16:42 +00:00

jquery.layout-latest.js

RGL Browser: mostly cosmetic improvements

2013-07-24 15:03:48 +00:00

layout-default-latest.css

RGL Browser: mostly cosmetic improvements

2013-07-24 15:03:48 +00:00

Makefile

RGL Browser: bug fix

2012-06-11 10:43:41 +00:00

script.js

RGL browser: remove duplicates in API tab

2014-06-30 07:35:59 +00:00

style.css

RGL browser: add recent modules list

2014-01-29 13:21:52 +00:00