Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-08-27 20:23:35 -0700 (Fri, 27 Aug 2004)
Revision: 6146
Log message:

      More .cvsignore changes.
      I should have committed the book changes to the trunk....
      Well, this brings MetaPRL in line with the latest omake changes.
      

Changes	Path
Properties	metaprl-branches/shell_begin
Properties	metaprl-branches/shell_begin/bin
Properties	metaprl-branches/shell_begin/clib
Properties	metaprl-branches/shell_begin/debug
Properties	metaprl-branches/shell_begin/doc
Properties	metaprl-branches/shell_begin/doc/htmlman
Properties	metaprl-branches/shell_begin/doc/htmlman/chars
Properties	metaprl-branches/shell_begin/doc/htmlman/developer-guide
Properties	metaprl-branches/shell_begin/doc/htmlman/framework
Properties	metaprl-branches/shell_begin/doc/htmlman/images
Properties	metaprl-branches/shell_begin/doc/htmlman/papers
Properties	metaprl-branches/shell_begin/doc/htmlman/system
Properties	metaprl-branches/shell_begin/doc/htmlman/user-guide
Properties	metaprl-branches/shell_begin/doc/latex
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
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/misc
Properties	metaprl-branches/shell_begin/doc/ps
Properties	metaprl-branches/shell_begin/doc/ps/theories
Properties	metaprl-branches/shell_begin/editor
Properties	metaprl-branches/shell_begin/editor/emacs
Binary	metaprl-branches/shell_begin/editor/emacs/caml.elc
Properties	metaprl-branches/shell_begin/editor/fonts
Properties	metaprl-branches/shell_begin/editor/fonts/ttf
Properties	metaprl-branches/shell_begin/editor/java
Properties	metaprl-branches/shell_begin/editor/java/images
Properties	metaprl-branches/shell_begin/editor/ml
+7 -4	metaprl-branches/shell_begin/editor/ml/OMakefile
Properties	metaprl-branches/shell_begin/editor/ml/tests
Properties	metaprl-branches/shell_begin/filter
+2 -2	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
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
Properties	metaprl-branches/shell_begin/support/display
+10 -0	metaprl-branches/shell_begin/support/display/comment.ml
+2 -0	metaprl-branches/shell_begin/support/display/comment.mli
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
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
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
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
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/lf
Properties	metaprl-branches/shell_begin/theories/mesa
Properties	metaprl-branches/shell_begin/theories/ocaml_doc
+4 -4	metaprl-branches/shell_begin/theories/ocaml_doc/ocaml_doc_exn1.ml
+219 -92	metaprl-branches/shell_begin/theories/ocaml_doc/ocaml_doc_expr1.ml
+2 -0	metaprl-branches/shell_begin/theories/ocaml_doc/ocaml_doc_io1.ml
+2 -0	metaprl-branches/shell_begin/theories/ocaml_doc/ocaml_doc_mod1.ml
+6 -2	metaprl-branches/shell_begin/theories/ocaml_doc/ocaml_doc_var1.ml
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
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
Properties	mpcompiler-branches/shell_begin/mmc/opt/dead
Properties	mpcompiler-branches/shell_begin/mmc/opt/dead/core
Properties	mpcompiler-branches/shell_begin/mmc/opt/direct
Properties	mpcompiler-branches/shell_begin/mmc/opt/direct/core
Properties	mpcompiler-branches/shell_begin/mmc/opt/direct/extensions
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