hallgren 5e867cec29 minibar: adding a start category menu ...

+ The start category menu can be turned off by passing the option
  {startcat_menu:false} when starting the minibar.
+ Documentation updates.

2011-10-18 15:21:49 +00:00

..

compiler

Show version & configuration info when gf -server starts

2011-10-12 19:00:42 +00:00

example-based

example-based: use random generation for the examples

2011-10-17 13:51:25 +00:00

runtime

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

server

pgf service: include the start category in grammar info

2011-10-18 14:31:40 +00:00

tools

Created a new page documenting available editor modes for GF

2011-09-20 12:41:32 +00:00

ui

fix the grammar browser in the editor

2011-03-08 12:32:51 +00:00

www

minibar: adding a start category menu

2011-10-18 15:21:49 +00:00