From d63311c65cec0abea707cceed030b46a3215e42d Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Sun, 2 Dec 2018 09:17:16 +0100 Subject: [PATCH] Add link to new RGL Browser in synopsis --- doc/synopsis/intro.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/synopsis/intro.txt b/doc/synopsis/intro.txt index fbd7c0915..4c504243c 100644 --- a/doc/synopsis/intro.txt +++ b/doc/synopsis/intro.txt @@ -27,6 +27,10 @@ use the resource modules. - [Detailed table of contents #toc128]. +The [RGL Browser http://www.grammaticalframework.org/~john/rgl-browser/] tool allows you to interactively browse through +the library, view all functions in a module's scope, and quickly jump to their definitions. + + Other relevant documents: - [The RGL Status Document ../status.html]: the current status of different languages and the authors of each grammar