/[mojave]
ViewVC logotype

Revision 2494


Jump to revision: Previous Next
Author: jyh
Date: Tue Oct 13 01:14:08 1998 UTC (22 years, 9 months ago)
Changed paths: 766 (showing only 100; show all)
Log Message:
I changed all the obvious places of Nuprl-Light, NL, nl, or any
other instance to MetaPRL, MP, or mp, etc.  The docs may be broken
but I'll fix them soon.  As usual, let me know if anything breaks.


Changed paths

Path Details
Directorymetaprl/.cpdir deleted
Directorymetaprl/.cprc deleted
Directorymetaprl/Makefile modified , text changed
Directorymetaprl/doc/htmlman/default.html modified , text changed
Directorymetaprl/doc/htmlman/framework/default.html modified , text changed
Directorymetaprl/doc/htmlman/framework/mp-framework.html added
Directorymetaprl/doc/htmlman/framework/mp-index.html added
Directorymetaprl/doc/htmlman/framework/nl-framework.html deleted
Directorymetaprl/doc/htmlman/framework/nl-index.html deleted
Directorymetaprl/doc/htmlman/images/mp-logo.gif added
Directorymetaprl/doc/htmlman/images/nl-logo.gif deleted
Directorymetaprl/doc/htmlman/license.html modified , text changed
Directorymetaprl/doc/htmlman/mp-frame.html added
Directorymetaprl/doc/htmlman/mp-index.html added
Directorymetaprl/doc/htmlman/mp-install.html added
Directorymetaprl/doc/htmlman/mp-links.html added
Directorymetaprl/doc/htmlman/mp-people.html added
Directorymetaprl/doc/htmlman/mp.html added
Directorymetaprl/doc/htmlman/nl-frame.html deleted
Directorymetaprl/doc/htmlman/nl-index.html deleted
Directorymetaprl/doc/htmlman/nl-install.html deleted
Directorymetaprl/doc/htmlman/nl-links.html deleted
Directorymetaprl/doc/htmlman/nl-people.html deleted
Directorymetaprl/doc/htmlman/nl.html deleted
Directorymetaprl/doc/htmlman/system/default.html modified , text changed
Directorymetaprl/doc/htmlman/system/mp-arch.ai added
Directorymetaprl/doc/htmlman/system/mp-arch.gif added
Directorymetaprl/doc/htmlman/system/mp-arch.html added
Directorymetaprl/doc/htmlman/system/mp-arch.map added
Directorymetaprl/doc/htmlman/system/mp-auto-tactic.html added
Directorymetaprl/doc/htmlman/system/mp-base-cache.html added
Directorymetaprl/doc/htmlman/system/mp-base-syntax.html added
Directorymetaprl/doc/htmlman/system/mp-base.html added
Directorymetaprl/doc/htmlman/system/mp-chaining.html added
Directorymetaprl/doc/htmlman/system/mp-conversionals.html added
Directorymetaprl/doc/htmlman/system/mp-dist-tactic.html added
Directorymetaprl/doc/htmlman/system/mp-editor-imp.html added
Directorymetaprl/doc/htmlman/system/mp-ensemble.html added
Directorymetaprl/doc/htmlman/system/mp-filter.html added
Directorymetaprl/doc/htmlman/system/mp-index.html added
Directorymetaprl/doc/htmlman/system/mp-itt.html added
Directorymetaprl/doc/htmlman/system/mp-ocaml.html added
Directorymetaprl/doc/htmlman/system/mp-refine.html added
Directorymetaprl/doc/htmlman/system/mp-refiner.html added
Directorymetaprl/doc/htmlman/system/mp-rewrite.html added
Directorymetaprl/doc/htmlman/system/mp-system.html added
Directorymetaprl/doc/htmlman/system/mp-tactic.html added
Directorymetaprl/doc/htmlman/system/mp-tacticals.html added
Directorymetaprl/doc/htmlman/system/mp-terms.html added
Directorymetaprl/doc/htmlman/system/mp-type-inf-rsrc.html added
Directorymetaprl/doc/htmlman/system/nl-arch.ai deleted
Directorymetaprl/doc/htmlman/system/nl-arch.gif deleted
Directorymetaprl/doc/htmlman/system/nl-arch.html deleted
Directorymetaprl/doc/htmlman/system/nl-arch.map deleted
Directorymetaprl/doc/htmlman/system/nl-auto-tactic.html deleted
Directorymetaprl/doc/htmlman/system/nl-base-cache.html deleted
Directorymetaprl/doc/htmlman/system/nl-base-syntax.html deleted
Directorymetaprl/doc/htmlman/system/nl-base.html deleted
Directorymetaprl/doc/htmlman/system/nl-chaining.html deleted
Directorymetaprl/doc/htmlman/system/nl-conversionals.html deleted
Directorymetaprl/doc/htmlman/system/nl-dist-tactic.html deleted
Directorymetaprl/doc/htmlman/system/nl-editor-imp.html deleted
Directorymetaprl/doc/htmlman/system/nl-ensemble.html deleted
Directorymetaprl/doc/htmlman/system/nl-filter.html deleted
Directorymetaprl/doc/htmlman/system/nl-index.html deleted
Directorymetaprl/doc/htmlman/system/nl-itt.html deleted
Directorymetaprl/doc/htmlman/system/nl-ocaml.html deleted
Directorymetaprl/doc/htmlman/system/nl-refine.html deleted
Directorymetaprl/doc/htmlman/system/nl-refiner.html deleted
Directorymetaprl/doc/htmlman/system/nl-rewrite.html deleted
Directorymetaprl/doc/htmlman/system/nl-system.html deleted
Directorymetaprl/doc/htmlman/system/nl-tactic.html deleted
Directorymetaprl/doc/htmlman/system/nl-tacticals.html deleted
Directorymetaprl/doc/htmlman/system/nl-terms.html deleted
Directorymetaprl/doc/htmlman/system/nl-type-inf-rsrc.html deleted
Directorymetaprl/doc/htmlman/system/nl_d_tactic.html deleted
Directorymetaprl/doc/htmlman/tutorial/default.html modified , text changed
Directorymetaprl/doc/htmlman/tutorial/mp-all.html added
Directorymetaprl/doc/htmlman/tutorial/mp-base-auto.html added
Directorymetaprl/doc/htmlman/tutorial/mp-base.html added
Directorymetaprl/doc/htmlman/tutorial/mp-class.html added
Directorymetaprl/doc/htmlman/tutorial/mp-ctheory.html added
Directorymetaprl/doc/htmlman/tutorial/mp-getting-started.html added
Directorymetaprl/doc/htmlman/tutorial/mp-index.html added
Directorymetaprl/doc/htmlman/tutorial/mp-not.html added
Directorymetaprl/doc/htmlman/tutorial/mp-simple.html added
Directorymetaprl/doc/htmlman/tutorial/mp-struct.html added
Directorymetaprl/doc/htmlman/tutorial/mp-theory.html added
Directorymetaprl/doc/htmlman/tutorial/mp-tutorial.html added
Directorymetaprl/doc/htmlman/tutorial/mp-type.html added
Directorymetaprl/doc/htmlman/tutorial/nl-all.html deleted
Directorymetaprl/doc/htmlman/tutorial/nl-base-auto.html deleted
Directorymetaprl/doc/htmlman/tutorial/nl-base.html deleted
Directorymetaprl/doc/htmlman/tutorial/nl-class.html deleted
Directorymetaprl/doc/htmlman/tutorial/nl-ctheory.html deleted
Directorymetaprl/doc/htmlman/tutorial/nl-getting-started.html deleted
Directorymetaprl/doc/htmlman/tutorial/nl-index.html deleted
Directorymetaprl/doc/htmlman/tutorial/nl-not.html deleted
Directorymetaprl/doc/htmlman/tutorial/nl-simple.html deleted
Directorymetaprl/doc/htmlman/tutorial/nl-struct.html deleted
[...]

  ViewVC Help
Powered by ViewVC 1.1.26