hallgren a3db215f5b GF Shell: "ph | wf -file=foo.gfs" now works as advertised ...

The print_history command was among the commands implemented in an ad-hoc
way instead of being handled by the command line interpreter, which means
it could not be used in a pipe, as in the example in the help info.
The refactoring in the previous patch made this old bug easy to fix.

Also fixed a bug in the "empty" command, introduced when moving the PGF from
CommandEnv to GFEnv.

TODO: fix the undocumented eh command. A comment in the help info for
print_history, and some commented out old code, suggest that eh means
"execute_history", but at present it does nothing...

2015-08-13 15:30:23 +00:00

..

binary/Data

Restore compatibility with ghc-7.4

2015-02-16 15:41:38 +00:00

compiler

GF Shell: "ph | wf -file=foo.gfs" now works as advertised

2015-08-13 15:30:23 +00:00

example-based

src/server: refactoring to isolate dependencies on the cgi/fastcgi packages

2014-09-02 12:27:47 +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

pickling/unpickling for types

2015-08-12 10:11:00 +00:00

server

PGF web service: option to leave &+ uninterpreted in linearized output

2015-07-21 14:21:49 +00:00

tools

Created a new page documenting available editor modes for GF

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

ui

Bugfix in the android app for Chinese which was causing the first character in the translation to disappear

2015-08-12 18:44:45 +00:00

www

Wide Coverage Demo: avoid errors if d3 or d3Tree can't be loaded

2015-07-15 14:07:26 +00:00