Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-08-26 18:35:32 -0700 (Thu, 26 Aug 2004)
Revision: 6142
Log message:

      This is a branch to bring metaprl in line with the omake branch.
      98% of these changes are just to .cvsignore files, which should
      ignore .omc and .omo generated files.
      
      There are a few changes to OMakefiles.  This is because
      the $'(...) sequence has been replaced by $`(...).
      $'a b c' is now symmetric with $"a b c", as a quotation.
      $'...' does not expand variables in the quotation, $"..." does.
      
      This will probably be a very short-lived branch...
      We can remove the tag later if this is a problem.
      

Changes  Path
Properties metaprl-branches/shell_begin
+26 -37 metaprl-branches/shell_begin/OMakefile
Properties metaprl-branches/shell_begin/bin
Properties metaprl-branches/shell_begin/clib
Properties metaprl-branches/shell_begin/debug
Properties metaprl-branches/shell_begin/doc
+3 -4 metaprl-branches/shell_begin/doc/OMakefile
Properties metaprl-branches/shell_begin/doc/latex/theories
Properties metaprl-branches/shell_begin/doc/latex/theories/base
Properties metaprl-branches/shell_begin/doc/latex/theories/czf
Properties metaprl-branches/shell_begin/doc/latex/theories/experimental/compile
Properties metaprl-branches/shell_begin/doc/latex/theories/fir
Properties metaprl-branches/shell_begin/doc/latex/theories/fol
Properties metaprl-branches/shell_begin/doc/latex/theories/itt
Properties metaprl-branches/shell_begin/doc/latex/theories/mc
Properties metaprl-branches/shell_begin/doc/latex/theories/ocaml_doc
Properties metaprl-branches/shell_begin/doc/ps/theories
Properties metaprl-branches/shell_begin/editor/emacs
+12 -9 metaprl-branches/shell_begin/editor/emacs/caml.el
Binary metaprl-branches/shell_begin/editor/emacs/caml.elc
Properties metaprl-branches/shell_begin/editor/java
Properties metaprl-branches/shell_begin/editor/ml
+12 -14 metaprl-branches/shell_begin/editor/ml/OMakefile
Properties metaprl-branches/shell_begin/editor/ml/tests
Properties metaprl-branches/shell_begin/filter
+14 -14 metaprl-branches/shell_begin/filter/OMakefile
Properties metaprl-branches/shell_begin/filter/base
Properties metaprl-branches/shell_begin/filter/filter
Properties metaprl-branches/shell_begin/filter/phobos
Properties metaprl-branches/shell_begin/lib
Properties metaprl-branches/shell_begin/library
Properties metaprl-branches/shell_begin/mk
+15 -21 metaprl-branches/shell_begin/mk/prlcomp
Properties metaprl-branches/shell_begin/mllib
Properties metaprl-branches/shell_begin/patches
Properties metaprl-branches/shell_begin/proxyedit
Properties metaprl-branches/shell_begin/refiner
Properties metaprl-branches/shell_begin/refiner/refbase
Properties metaprl-branches/shell_begin/refiner/refiner
Properties metaprl-branches/shell_begin/refiner/reflib
Properties metaprl-branches/shell_begin/refiner/refsig
Properties metaprl-branches/shell_begin/refiner/rewrite
Properties metaprl-branches/shell_begin/refiner/term_ds
Properties metaprl-branches/shell_begin/refiner/term_gen
Properties metaprl-branches/shell_begin/refiner/term_std
Properties metaprl-branches/shell_begin/support/display
Properties metaprl-branches/shell_begin/support/shell
Properties metaprl-branches/shell_begin/support/shell/inputs
Properties metaprl-branches/shell_begin/support/tactics
Properties metaprl-branches/shell_begin/tactics/ensemble
Properties metaprl-branches/shell_begin/tactics/null
Properties metaprl-branches/shell_begin/tactics/proof
Properties metaprl-branches/shell_begin/theories/base
Properties metaprl-branches/shell_begin/theories/cic
Properties metaprl-branches/shell_begin/theories/czf
Properties metaprl-branches/shell_begin/theories/experimental/compile
Properties metaprl-branches/shell_begin/theories/experimental/compile/runtime
Properties metaprl-branches/shell_begin/theories/experimental/mcc/fir
Properties metaprl-branches/shell_begin/theories/experimental/mcc/fir/type
Properties metaprl-branches/shell_begin/theories/experimental/mcc/fir/util
Properties metaprl-branches/shell_begin/theories/experimental/unity
Properties metaprl-branches/shell_begin/theories/fir
Properties metaprl-branches/shell_begin/theories/fol
Properties metaprl-branches/shell_begin/theories/itt
Properties metaprl-branches/shell_begin/theories/kat
Properties metaprl-branches/shell_begin/theories/mesa
Properties metaprl-branches/shell_begin/theories/ocaml_doc
Properties metaprl-branches/shell_begin/theories/ocaml_sos
Properties metaprl-branches/shell_begin/theories/phobos
Properties metaprl-branches/shell_begin/theories/sil
Properties metaprl-branches/shell_begin/theories/tptp
Properties metaprl-branches/shell_begin/theories/tutorial
Properties metaprl-branches/shell_begin/util
Properties mpcompiler-branches/shell_begin/mmc
Properties mpcompiler-branches/shell_begin/mmc/arch/ppc
Properties mpcompiler-branches/shell_begin/mmc/arch/ra
Properties mpcompiler-branches/shell_begin/mmc/arch/util
Properties mpcompiler-branches/shell_begin/mmc/arch/x86
Properties mpcompiler-branches/shell_begin/mmc/arch/x86/runtime
Properties mpcompiler-branches/shell_begin/mmc/base
Properties mpcompiler-branches/shell_begin/mmc/core
Properties mpcompiler-branches/shell_begin/mmc/extensions
Properties mpcompiler-branches/shell_begin/mmc/extensions/array
Properties mpcompiler-branches/shell_begin/mmc/extensions/bool
Properties mpcompiler-branches/shell_begin/mmc/extensions/fix
Properties mpcompiler-branches/shell_begin/mmc/extensions/int
Properties mpcompiler-branches/shell_begin/mmc/extensions/loop
Properties mpcompiler-branches/shell_begin/mmc/extensions/operator
Properties mpcompiler-branches/shell_begin/mmc/extensions/reserve
Properties mpcompiler-branches/shell_begin/mmc/extensions/special
Properties mpcompiler-branches/shell_begin/mmc/extensions/string
Properties mpcompiler-branches/shell_begin/mmc/extensions/tuple
Properties mpcompiler-branches/shell_begin/mmc/extensions/tyexists
Properties mpcompiler-branches/shell_begin/mmc/extensions/unit
Properties mpcompiler-branches/shell_begin/mmc/lir
Properties mpcompiler-branches/shell_begin/mmc/main
Properties mpcompiler-branches/shell_begin/mmc/opt/dead/core
Properties mpcompiler-branches/shell_begin/mmc/opt/direct/core
Properties mpcompiler-branches/shell_begin/mmc/opt/direct/extensions/fix
Properties mpcompiler-branches/shell_begin/mmc/test
Properties mpcompiler-branches/shell_begin/util
Properties texinputs-branches/shell_begin