Changes by: ( at unknown.email)
Date: 2003-04-23 01:35:37 -0700 (Wed, 23 Apr 2003)
Revision: 4474
Log message:

      This commit was manufactured by cvs2svn to create tag 'CS101'.

Changes	Path
Copied	metaprl-tags/CS101
Deleted	metaprl-tags/CS101/.cpdir
Deleted	metaprl-tags/CS101/.cprc
Deleted	metaprl-tags/CS101/BUGS
Deleted	metaprl-tags/CS101/Makefile
Deleted	metaprl-tags/CS101/OMakefile
Deleted	metaprl-tags/CS101/OMakeroot
Deleted	metaprl-tags/CS101/README
Deleted	metaprl-tags/CS101/filter/.cprc
Deleted	metaprl-tags/CS101/filter/Conscript
Deleted	metaprl-tags/CS101/filter/Makefile
Deleted	metaprl-tags/CS101/filter/OMakefile
Deleted	metaprl-tags/CS101/filter/base/Conscript
Deleted	metaprl-tags/CS101/filter/base/Files
Deleted	metaprl-tags/CS101/filter/base/Makefile
Deleted	metaprl-tags/CS101/filter/base/OMakefile
Deleted	metaprl-tags/CS101/filter/base/filter_ast.ml
Deleted	metaprl-tags/CS101/filter/base/filter_ast.mli
Deleted	metaprl-tags/CS101/filter/base/filter_buffer.ml
Deleted	metaprl-tags/CS101/filter/base/filter_buffer.mli
Deleted	metaprl-tags/CS101/filter/base/filter_cache.mli
Deleted	metaprl-tags/CS101/filter/base/filter_cache_fun.ml
Deleted	metaprl-tags/CS101/filter/base/filter_cache_fun.mli
Deleted	metaprl-tags/CS101/filter/base/filter_comment.ml
Deleted	metaprl-tags/CS101/filter/base/filter_comment.mli
Deleted	metaprl-tags/CS101/filter/base/filter_debug.ml
Deleted	metaprl-tags/CS101/filter/base/filter_debug.mli
Deleted	metaprl-tags/CS101/filter/base/filter_exn.ml
Deleted	metaprl-tags/CS101/filter/base/filter_exn.mli
Deleted	metaprl-tags/CS101/filter/base/filter_grammar.ml
Deleted	metaprl-tags/CS101/filter/base/filter_grammar.mli
Deleted	metaprl-tags/CS101/filter/base/filter_hash.ml
Deleted	metaprl-tags/CS101/filter/base/filter_hash.mli
Deleted	metaprl-tags/CS101/filter/base/filter_magic.ml
Deleted	metaprl-tags/CS101/filter/base/filter_magic.mli
Deleted	metaprl-tags/CS101/filter/base/filter_ocaml.ml
Deleted	metaprl-tags/CS101/filter/base/filter_ocaml.mli
Deleted	metaprl-tags/CS101/filter/base/filter_spell.ml
Deleted	metaprl-tags/CS101/filter/base/filter_spell.mli
Deleted	metaprl-tags/CS101/filter/base/filter_summary.mli
Deleted	metaprl-tags/CS101/filter/base/filter_summary_io.ml
Deleted	metaprl-tags/CS101/filter/base/filter_summary_io.mli
Deleted	metaprl-tags/CS101/filter/base/filter_summary_param.ml
Deleted	metaprl-tags/CS101/filter/base/filter_summary_type.ml
Deleted	metaprl-tags/CS101/filter/base/filter_summary_util.ml
Deleted	metaprl-tags/CS101/filter/base/filter_summary_util.mli
Deleted	metaprl-tags/CS101/filter/base/filter_type.ml
Deleted	metaprl-tags/CS101/filter/base/filter_util.ml
Deleted	metaprl-tags/CS101/filter/base/filter_util.mli
Deleted	metaprl-tags/CS101/filter/base/free_vars.ml
Deleted	metaprl-tags/CS101/filter/base/free_vars.mli
Deleted	metaprl-tags/CS101/filter/base/infix.mli
Deleted	metaprl-tags/CS101/filter/base/infix.pre.ml
Deleted	metaprl-tags/CS101/filter/base/mLast_util.ml
Deleted	metaprl-tags/CS101/filter/base/mLast_util.mli
Deleted	metaprl-tags/CS101/theories/.cprc
Deleted	metaprl-tags/CS101/theories/Conscript
Copied	metaprl-tags/CS101/theories/cs101
Deleted	metaprl-tags/CS101/theories/cs101/Makefile
Deleted	metaprl-tags/CS101/theories/cs101/cs101_cla.ml
Deleted	metaprl-tags/CS101/theories/cs101/cs101_cla.mli
Deleted	metaprl-tags/CS101/theories/cs101/cs101_hw1.ml
Deleted	metaprl-tags/CS101/theories/cs101/cs101_hw1.mli
Deleted	metaprl-tags/CS101/theories/cs101/cs101_hw1.prla
Deleted	metaprl-tags/CS101/theories/cs101/cs101_hw2.ml
Deleted	metaprl-tags/CS101/theories/cs101/cs101_hw2.mli
Deleted	metaprl-tags/CS101/theories/cs101/cs101_hw2.prla
Deleted	metaprl-tags/CS101/theories/cs101/cs101_int.ml
Deleted	metaprl-tags/CS101/theories/cs101/cs101_int.mli
Deleted	metaprl-tags/CS101/theories/cs101/cs101_lc.mli
Deleted	metaprl-tags/CS101/theories/tactic/.cprc
Deleted	metaprl-tags/CS101/theories/tactic/.ispell_english
Deleted	metaprl-tags/CS101/theories/tactic/Conscript
Deleted	metaprl-tags/CS101/theories/tactic/Makefile
Deleted	metaprl-tags/CS101/theories/tactic/OMakefile
Deleted	metaprl-tags/CS101/theories/tactic/base_dform.ml
Deleted	metaprl-tags/CS101/theories/tactic/base_dform.mli
Deleted	metaprl-tags/CS101/theories/tactic/comment.ml
Deleted	metaprl-tags/CS101/theories/tactic/comment.mli
Deleted	metaprl-tags/CS101/theories/tactic/mptop.ml
Deleted	metaprl-tags/CS101/theories/tactic/mptop.mli
Deleted	metaprl-tags/CS101/theories/tactic/nuprl_font.ml
Deleted	metaprl-tags/CS101/theories/tactic/nuprl_font.mli
Deleted	metaprl-tags/CS101/theories/tactic/perv.ml
Deleted	metaprl-tags/CS101/theories/tactic/perv.mli
Deleted	metaprl-tags/CS101/theories/tactic/tactic_cache.ml
Deleted	metaprl-tags/CS101/theories/tactic/tactic_cache.mli
Deleted	metaprl-tags/CS101/theories/tactic/top_conversionals.ml
Deleted	metaprl-tags/CS101/theories/tactic/top_conversionals.mli
Deleted	metaprl-tags/CS101/theories/tactic/top_tacticals.ml
Deleted	metaprl-tags/CS101/theories/tactic/top_tacticals.mli
Deleted	metaprl-tags/CS101/theories/tactic/var.ml
Deleted	metaprl-tags/CS101/theories/tactic/var.mli