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