Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-08-29 19:09:44 -0700 (Sun, 29 Aug 2004)
Revision: 6148
Log message:

      Merged the shell_begin branch.
      

Changes	Path
Properties	metaprl
+26 -37	metaprl/OMakefile
Properties	metaprl/bin
Properties	metaprl/clib
Properties	metaprl/debug
Properties	metaprl/doc
+3 -4	metaprl/doc/OMakefile
Properties	metaprl/doc/htmlman
Properties	metaprl/doc/htmlman/chars
Properties	metaprl/doc/htmlman/developer-guide
Properties	metaprl/doc/htmlman/framework
Properties	metaprl/doc/htmlman/images
Properties	metaprl/doc/htmlman/papers
Properties	metaprl/doc/htmlman/system
Properties	metaprl/doc/htmlman/user-guide
Properties	metaprl/doc/latex
Properties	metaprl/doc/latex/theories
Properties	metaprl/doc/latex/theories/base
Properties	metaprl/doc/latex/theories/czf
Properties	metaprl/doc/latex/theories/experimental
Properties	metaprl/doc/latex/theories/experimental/compile
Properties	metaprl/doc/latex/theories/fir
Properties	metaprl/doc/latex/theories/fol
Properties	metaprl/doc/latex/theories/itt
Properties	metaprl/doc/latex/theories/mc
Properties	metaprl/doc/latex/theories/ocaml_doc
Properties	metaprl/doc/misc
Properties	metaprl/doc/ps
Properties	metaprl/doc/ps/theories
Properties	metaprl/editor
Properties	metaprl/editor/emacs
+12 -9	metaprl/editor/emacs/caml.el
Binary	metaprl/editor/emacs/caml.elc
Properties	metaprl/editor/fonts
Properties	metaprl/editor/fonts/ttf
Properties	metaprl/editor/java
Properties	metaprl/editor/java/images
Properties	metaprl/editor/ml
+18 -17	metaprl/editor/ml/OMakefile
Properties	metaprl/editor/ml/tests
Properties	metaprl/filter
+16 -16	metaprl/filter/OMakefile
Properties	metaprl/filter/base
Properties	metaprl/filter/filter
Properties	metaprl/filter/phobos
Properties	metaprl/lib
Properties	metaprl/library
Properties	metaprl/mk
+15 -21	metaprl/mk/prlcomp
Properties	metaprl/mllib
Properties	metaprl/patches
Properties	metaprl/proxyedit
Properties	metaprl/refiner
Properties	metaprl/refiner/refbase
Properties	metaprl/refiner/refiner
Properties	metaprl/refiner/reflib
Properties	metaprl/refiner/refsig
Properties	metaprl/refiner/rewrite
Properties	metaprl/refiner/term_ds
Properties	metaprl/refiner/term_gen
Properties	metaprl/refiner/term_std
Properties	metaprl/support
Properties	metaprl/support/display
+10 -0	metaprl/support/display/comment.ml
+2 -0	metaprl/support/display/comment.mli
Properties	metaprl/support/shell
Properties	metaprl/support/shell/inputs
Properties	metaprl/support/tactics
Properties	metaprl/tactics
Properties	metaprl/tactics/ensemble
Properties	metaprl/tactics/null
Properties	metaprl/tactics/proof
Properties	metaprl/theories
Properties	metaprl/theories/base
Properties	metaprl/theories/cic
Properties	metaprl/theories/czf
Properties	metaprl/theories/experimental
Properties	metaprl/theories/experimental/compile
Properties	metaprl/theories/experimental/compile/runtime
Properties	metaprl/theories/experimental/mcc
Properties	metaprl/theories/experimental/mcc/fir
Properties	metaprl/theories/experimental/mcc/fir/type
Properties	metaprl/theories/experimental/mcc/fir/util
Properties	metaprl/theories/experimental/unity
Properties	metaprl/theories/fir
Properties	metaprl/theories/fol
Properties	metaprl/theories/itt
Properties	metaprl/theories/kat
Properties	metaprl/theories/lf
Properties	metaprl/theories/mesa
Properties	metaprl/theories/ocaml_doc
+4 -4	metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
+219 -92	metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml
+2 -0	metaprl/theories/ocaml_doc/ocaml_doc_io1.ml
+2 -0	metaprl/theories/ocaml_doc/ocaml_doc_mod1.ml
+6 -2	metaprl/theories/ocaml_doc/ocaml_doc_var1.ml
Properties	metaprl/theories/ocaml_sos
Properties	metaprl/theories/phobos
Properties	metaprl/theories/sil
Properties	metaprl/theories/tptp
Properties	metaprl/theories/tutorial
Properties	metaprl/util
Properties	mpcompiler/mmc
+1 -1	mpcompiler/mmc/OMakefile
Properties	mpcompiler/mmc/arch
Properties	mpcompiler/mmc/arch/ppc
Properties	mpcompiler/mmc/arch/ra
Properties	mpcompiler/mmc/arch/util
Properties	mpcompiler/mmc/arch/x86
Properties	mpcompiler/mmc/arch/x86/runtime
Properties	mpcompiler/mmc/base
Properties	mpcompiler/mmc/core
Properties	mpcompiler/mmc/extensions
Properties	mpcompiler/mmc/extensions/array
Properties	mpcompiler/mmc/extensions/bool
Properties	mpcompiler/mmc/extensions/fix
Properties	mpcompiler/mmc/extensions/int
Properties	mpcompiler/mmc/extensions/loop
Properties	mpcompiler/mmc/extensions/operator
Properties	mpcompiler/mmc/extensions/reserve
Properties	mpcompiler/mmc/extensions/special
Properties	mpcompiler/mmc/extensions/string
Properties	mpcompiler/mmc/extensions/tuple
Properties	mpcompiler/mmc/extensions/tyexists
Properties	mpcompiler/mmc/extensions/unit
Properties	mpcompiler/mmc/lir
Properties	mpcompiler/mmc/main
Properties	mpcompiler/mmc/opt
Properties	mpcompiler/mmc/opt/dead
Properties	mpcompiler/mmc/opt/dead/core
Properties	mpcompiler/mmc/opt/direct
Properties	mpcompiler/mmc/opt/direct/core
Properties	mpcompiler/mmc/opt/direct/extensions
Properties	mpcompiler/mmc/opt/direct/extensions/fix
Properties	mpcompiler/mmc/test
Properties	mpcompiler/util
Properties	texinputs