Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-06 15:33:11 -0800 (Wed, 06 Dec 2006)
Revision: 9833
Log message:

      Changed the default value of --output-at-end: it will still be off by default,
      but the -k/-p/-P will now flip this default to true.
      

Changes  Path
+5 -5 omake-branches/0.9.8.x/doc/src/omake-options.tex
+8 -4 omake-branches/0.9.8.x/src/ir/omake_options.ml