hallgren fd0fb48493 Ctrl-C shouldn't terminate the GF shell ...

This quick fix should make Ctrl-C in the GF shell behave more like it does in
other shells: even if no command is running, Ctrl-C now just gives you a new
prompt instead of terminating the shell.

2011-04-20 14:30:49 +00:00

..

GF

Added a preliminary "gf -server" mode.

2011-04-13 14:58:01 +00:00

GF.hs

Added a preliminary "gf -server" mode.

2011-04-13 14:58:01 +00:00

GFC.hs

Adding an option to the gf compiler to add an index to pgf files

2010-12-11 16:36:30 +00:00

GFI.hs

Ctrl-C shouldn't terminate the GF shell

2011-04-20 14:30:49 +00:00

GFServer.hs

Added a preliminary "gf -server" mode.

2011-04-13 14:58:01 +00:00