Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-09-19 13:45:42 -0700 (Mon, 19 Sep 2005)
Revision: 7722
Log message:

      Changes related to CVS -> Subversion switch:
      
      - Updated the documentation to use svn.metaprl.org URLs instead of the
        cvs.metaprl.org ones.
      
      - Updated checkout instructions (both read-only and read-write) to talk about
        subversion instead of CVS.
      
      - Updated *.eps and *.ai to be svn:eol-style=native,
        svn:mime-type=application/postscript.
      

Changes  Path
+2 -2 metaprl/Makefile
+3 -1 metaprl/OMakefile
+2 -2 metaprl/README.WIN32
+1 -1 metaprl/doc/htmlman/developer-guide/refiner_verb_and_simp.html
Binary metaprl/doc/htmlman/images/bullet.ai
Properties metaprl/doc/htmlman/images/bullet.ai
Binary metaprl/doc/htmlman/images/grid.ai
Properties metaprl/doc/htmlman/images/grid.ai
Binary metaprl/doc/htmlman/images/logo.ai
Properties metaprl/doc/htmlman/images/logo.ai
Deleted metaprl/doc/htmlman/mp-cvs-rw.html
+1 -2 metaprl/doc/htmlman/mp-index.html
+24 -21 metaprl/doc/htmlman/mp-install.html
Copied metaprl/doc/htmlman/mp-svn-rw.html
+3 -3 metaprl/doc/htmlman/mp.html
+1 -2 metaprl/doc/htmlman/papers/mp-index.html
Binary metaprl/doc/htmlman/system/and-failure.ai
Properties metaprl/doc/htmlman/system/and-failure.ai
Binary metaprl/doc/htmlman/system/and-success.ai
Properties metaprl/doc/htmlman/system/and-success.ai
Binary metaprl/doc/htmlman/system/andthen1.ai
Properties metaprl/doc/htmlman/system/andthen1.ai
Binary metaprl/doc/htmlman/system/andthen2.ai
Properties metaprl/doc/htmlman/system/andthen2.ai
Binary metaprl/doc/htmlman/system/choose.ai
Properties metaprl/doc/htmlman/system/choose.ai
Binary metaprl/doc/htmlman/system/consume.ai
Properties metaprl/doc/htmlman/system/consume.ai
Binary metaprl/doc/htmlman/system/consume.eps
Properties metaprl/doc/htmlman/system/consume.eps
Binary metaprl/doc/htmlman/system/failure.eps
Properties metaprl/doc/htmlman/system/failure.eps
Binary metaprl/doc/htmlman/system/itt-hier.ai
Properties metaprl/doc/htmlman/system/itt-hier.ai
Binary metaprl/doc/htmlman/system/lock.ai
Properties metaprl/doc/htmlman/system/lock.ai
Binary metaprl/doc/htmlman/system/lock.eps
Properties metaprl/doc/htmlman/system/lock.eps
Properties metaprl/doc/htmlman/system/mp-arch.ai
Binary metaprl/doc/htmlman/system/produce.eps
Properties metaprl/doc/htmlman/system/produce.eps
Binary metaprl/doc/htmlman/system/proof-node.ai
Properties metaprl/doc/htmlman/system/proof-node.ai
Binary metaprl/doc/htmlman/system/proof-tree.ai
Properties metaprl/doc/htmlman/system/proof-tree.ai
Binary metaprl/doc/htmlman/system/return.ai
Properties metaprl/doc/htmlman/system/return.ai
Binary metaprl/doc/htmlman/system/return.eps
Properties metaprl/doc/htmlman/system/return.eps
Binary metaprl/doc/htmlman/system/sched2.ai
Properties metaprl/doc/htmlman/system/sched2.ai
Binary metaprl/doc/htmlman/system/server.ai
Properties metaprl/doc/htmlman/system/server.ai
Binary metaprl/doc/htmlman/system/server.eps
Properties metaprl/doc/htmlman/system/server.eps
Deleted metaprl/doc/misc/UIDesign.html
+1 -1 metaprl/editor/ml/QUICKSTART
+2 -2 metaprl/mk/make_config
Deleted metaprl/mllib/index.html
+1 -1 metaprl/support/shell/browser_resource.ml
+2 -2 metaprl/support/shell/shell_browser.ml
+1 -0 metaprl/support/shell/shell_fs.ml
+9 -6 metaprl/support/shell/shell_syscall.ml
+1 -1 metaprl/support/shell/shell_syscall.mli
+2 -2 metaprl/support/shell/shell_syscall_sig.mlz
Binary metaprl/theories/ocaml_doc/rotate.eps
Properties metaprl/theories/ocaml_doc/rotate.eps
Binary metaprl/theories/ocaml_doc/splay1.eps
Properties metaprl/theories/ocaml_doc/splay1.eps
Binary metaprl/theories/ocaml_doc/splay2.eps
Properties metaprl/theories/ocaml_doc/splay2.eps
Binary metaprl/theories/ocaml_doc/splay3.eps
Properties metaprl/theories/ocaml_doc/splay3.eps
Binary metaprl/theories/ocaml_doc/splay4.eps
Properties metaprl/theories/ocaml_doc/splay4.eps
+3 -4 metaprl/util/check-status.sh
+1 -1 metaprl/util/clean-opens
+3 -3 metaprl/util/do-check-all.sh