hallgren 18f17ba857 minibar: define grammar_list in config.js to restrict the grammar menu ...

minibar.html now reads config.js and if it defines grammar_list, only the
grammars listed there will show up in the grammar menu.

2016-06-09 14:20:24 +00:00

..

binary/Data

Comment out some dead code found with -fwarn-unused-binds

2015-08-28 13:59:43 +00:00

compiler

PGF service & minibar: only show dependency diagrams if the labels are known

2016-06-09 13:12:14 +00:00

example-based

Comment out some dead code found with -fwarn-unused-binds

2015-08-28 13:59:43 +00:00

pgf-binary

src/pgf-binary: reimplementation of GF's customized Data.Binary on top of the standard binary packages

2015-09-04 12:58:29 +00:00

programs

Rename src/programs/gf.hs to gf-main.hs to avoid confusing GHC

2014-10-16 15:21:00 +00:00

runtime

PGF service & minibar: only show dependency diagrams if the labels are known

2016-06-09 13:12:14 +00:00

server

PGF service & minibar: only show dependency diagrams if the labels are known

2016-06-09 13:12:14 +00:00

tools

src/tools: update GFDoc.hs and Htmls.hs for compatibility with current libraries and add gf-tools.cabal to compile them

2016-04-05 13:29:56 +00:00

ui

now the UI supports almost all phrases. there are still a few that cannot be shown

2016-06-03 11:30:53 +00:00

www

minibar: define grammar_list in config.js to restrict the grammar menu

2016-06-09 14:20:24 +00:00