Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-31 19:09:38 -0800 (Mon, 31 Oct 2005)
Revision: 8058
Log message:

      - Copying libmojave's omake_0_9_7_ref branch to trunk
      - Moving all the libmojave branches to "closed"
      - Switching OMake (both 0.9.6.x and omake_0_9_7_ref branches) to using the
        libmojave trunk.
      

Changes  Path
Copied libmojave-branches/closed/S4-jprover
Copied libmojave-branches/closed/abstract_vars
Copied libmojave-branches/closed/bound_contexts2
Copied libmojave-branches/closed/configure
Copied libmojave-branches/closed/configure2
Copied libmojave-branches/closed/fast_parser
Copied libmojave-branches/closed/jprover-rule-based-unif
Copied libmojave-branches/closed/lexer_args_correction
Copied libmojave-branches/closed/nasslli_branch
Copied libmojave-branches/closed/new_match_table
Copied libmojave-branches/closed/new_parser
Copied libmojave-branches/closed/new_parser2
Copied libmojave-branches/closed/new_parser3
Copied libmojave-branches/closed/new_scanner
Copied libmojave-branches/closed/new_scanner2
Copied libmojave-branches/closed/ocaml_3_07
Copied libmojave-branches/closed/omake-0.9.6.x
Copied libmojave-branches/closed/omake_0_9_7_pre2
Copied libmojave-branches/closed/omake_0_9_7_pre3
Copied libmojave-branches/closed/omake_0_9_7_pre4
Copied libmojave-branches/closed/omake_0_9_7_pre5
Copied libmojave-branches/closed/omake_0_9_7_pre6
Copied libmojave-branches/closed/omake_0_9_7_pre7
Copied libmojave-branches/closed/omake_0_9_7_type1
Copied libmojave-branches/closed/opname_classes
Copied libmojave-branches/closed/opname_classes2
Copied libmojave-branches/closed/opname_classes3
Copied libmojave-branches/closed/opname_classes4
Copied libmojave-branches/closed/quote_param
Copied libmojave-branches/closed/recursive_sequents
Copied libmojave-branches/closed/recursive_sequents2
Copied libmojave-branches/closed/shell_begin
Copied libmojave-branches/closed/strictscope1
Copied libmojave-branches/closed/strictscope2
Copied libmojave-branches/closed/strictscope3
Copied libmojave-branches/closed/stricttest1
Copied libmojave-branches/closed/thread_select
Copied libmojave-branches/closed/version_0_9_7_pre1
Properties omake-branches/0.9.6.x/src
Properties omake-branches/omake_0_9_7_ref/src