Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-08-30 18:12:38 -0700 (Mon, 30 Aug 2004)
Revision: 508
Log message:

      Completely turn off process group management unless in interactive
      mode.  This should address Aleksey's problem with documentation
      generation.
      

Changes  Path
+1 -1 omake/omake.html
+8 -0 omake/src/clib/readline.c
+1 -1 omake/src/env/omake_ast_lex.mll
+7 -3 omake/src/shell/omake_shell_sys_unix.ml
+1 -0 omake/src/util/omake_readline.ml
+1 -0 omake/src/util/omake_readline.mli