See the download page.
instance Foo of Bar - [f,g,h].help command-name).
aw = align_words option -giza prints word alignments in Giza++ format.i = import now recognizes changes in abstract syntax without the need of empty.pg = print_grammar option -lexc prints lexicon in Xerox LEXC format.ps = put_string now has flags for reading transliteration rules from a user-provided file.r = reload repeats the latest instance of import.sd = show_dependencies shows all dependencies of a constant, and optionally their code sizes.so = show_operations shows the oper's in scope, optionally restricted to a value type.ss = show_source shows source code, or optionally just function headers or source code sizes.gf -make -output-format=haskell --haskell=gadtgf -server replaces pgf-http and makes it easy to test the minibar and the web-based grammar editor.