/[mojave]
ViewVC logotype

Revision 2456


Jump to revision: Previous Next
Author: jyh
Date: Sat Sep 5 22:31:37 1998 UTC (22 years, 10 months ago)
Changed paths: 580 (showing only 100; show all)
Log Message:
Added license headers to each of the files in preparation for
the first major release.  The license is GNU public license; if
any of you have problems with that, let me know right away.  When
you add new code, you should credit yourself as the author.  When
you modify code, you should add a "Modified by:" to the header,
and possibly a short summary of your changes.

I tried to get the Author lists as correct as I remember, but there
are more than 550 files(!) and I may have made some mistakes. Please
add yourself if I didn't do it right.


Changed paths

Path Details
Directorymetaprl/doc/license.html added
Directorymetaprl/editor/ml/czf.ml modified , text changed
Directorymetaprl/editor/ml/io_proof.ml modified , text changed
Directorymetaprl/editor/ml/io_proof.mli modified , text changed
Directorymetaprl/editor/ml/io_proof_type.mlz modified , text changed
Directorymetaprl/editor/ml/nl.ml modified , text changed
Directorymetaprl/editor/ml/nl.mli modified , text changed
Directorymetaprl/editor/ml/nl_top.ml modified , text changed
Directorymetaprl/editor/ml/nl_top.mli modified , text changed
Directorymetaprl/editor/ml/nl_version.mli modified , text changed
Directorymetaprl/editor/ml/package_df.ml modified , text changed
Directorymetaprl/editor/ml/package_df.mli modified , text changed
Directorymetaprl/editor/ml/package_info.ml modified , text changed
Directorymetaprl/editor/ml/package_info.mli modified , text changed
Directorymetaprl/editor/ml/package_int.ml modified , text changed
Directorymetaprl/editor/ml/package_int.mli modified , text changed
Directorymetaprl/editor/ml/package_type.mlz modified , text changed
Directorymetaprl/editor/ml/proof.ml modified , text changed
Directorymetaprl/editor/ml/proof.mli modified , text changed
Directorymetaprl/editor/ml/proof_edit.ml modified , text changed
Directorymetaprl/editor/ml/proof_edit.mli modified , text changed
Directorymetaprl/editor/ml/proof_step.ml modified , text changed
Directorymetaprl/editor/ml/proof_step.mli modified , text changed
Directorymetaprl/editor/ml/proof_type.mlz modified , text changed
Directorymetaprl/editor/ml/shell.ml modified , text changed
Directorymetaprl/editor/ml/shell.mli modified , text changed
Directorymetaprl/editor/ml/shell_nl.ml modified , text changed
Directorymetaprl/editor/ml/shell_nl.mli modified , text changed
Directorymetaprl/editor/ml/shell_null.ml modified , text changed
Directorymetaprl/editor/ml/shell_null.mli modified , text changed
Directorymetaprl/editor/ml/shell_p4.ml modified , text changed
Directorymetaprl/editor/ml/shell_p4.mli modified , text changed
Directorymetaprl/editor/ml/shell_p4_type.mlz modified , text changed
Directorymetaprl/editor/ml/shell_rewrite.ml modified , text changed
Directorymetaprl/editor/ml/shell_rewrite.mli modified , text changed
Directorymetaprl/editor/ml/shell_rule.ml modified , text changed
Directorymetaprl/editor/ml/shell_rule.mli modified , text changed
Directorymetaprl/editor/ml/shell_type.mlz modified , text changed
Directorymetaprl/editor/ml/test.ml modified , text changed
Directorymetaprl/editor/ml/test.mli modified , text changed
Directorymetaprl/editor/ml/w.ml modified , text changed
Directorymetaprl/editor/ml/x.ml modified , text changed
Directorymetaprl/editor/ml/y.ml modified , text changed
Directorymetaprl/editor/ml/z.ml modified , text changed
Directorymetaprl/ensemble/appl_closure.ml modified , text changed
Directorymetaprl/ensemble/appl_closure.mli modified , text changed
Directorymetaprl/ensemble/ensemble_queue.ml modified , text changed
Directorymetaprl/ensemble/ensemble_queue.mli modified , text changed
Directorymetaprl/ensemble/remote_ensemble.ml modified , text changed
Directorymetaprl/ensemble/remote_ensemble.mli modified , text changed
Directorymetaprl/ensemble/remote_null.ml modified , text changed
Directorymetaprl/ensemble/remote_null.mli modified , text changed
Directorymetaprl/ensemble/remote_sig.mlz modified , text changed
Directorymetaprl/ensemble/thread_refiner.mli modified , text changed
Directorymetaprl/ensemble/thread_refiner_ens.ml modified , text changed
Directorymetaprl/ensemble/thread_refiner_ens.mli modified , text changed
Directorymetaprl/ensemble/thread_refiner_ens_mod.ml modified , text changed
Directorymetaprl/ensemble/thread_refiner_null.ml modified , text changed
Directorymetaprl/ensemble/thread_refiner_null.mli modified , text changed
Directorymetaprl/ensemble/thread_refiner_null_mod.ml modified , text changed
Directorymetaprl/ensemble/thread_refiner_sig.mlz modified , text changed
Directorymetaprl/filter/filter_ast.ml modified , text changed
Directorymetaprl/filter/filter_ast.mli modified , text changed
Directorymetaprl/filter/filter_bin.ml modified , text changed
Directorymetaprl/filter/filter_bin.mli modified , text changed
Directorymetaprl/filter/filter_buffer.ml modified , text changed
Directorymetaprl/filter/filter_buffer.mli modified , text changed
Directorymetaprl/filter/filter_cache.ml modified , text changed
Directorymetaprl/filter/filter_cache.mli modified , text changed
Directorymetaprl/filter/filter_cache_fun.ml modified , text changed
Directorymetaprl/filter/filter_cache_fun.mli modified , text changed
Directorymetaprl/filter/filter_comment.ml modified , text changed
Directorymetaprl/filter/filter_comment.mli modified , text changed
Directorymetaprl/filter/filter_debug.ml modified , text changed
Directorymetaprl/filter/filter_debug.mli modified , text changed
Directorymetaprl/filter/filter_exn.ml modified , text changed
Directorymetaprl/filter/filter_exn.mli modified , text changed
Directorymetaprl/filter/filter_grammar.ml modified , text changed
Directorymetaprl/filter/filter_grammar.mli modified , text changed
Directorymetaprl/filter/filter_hash.ml modified , text changed
Directorymetaprl/filter/filter_hash.mli modified , text changed
Directorymetaprl/filter/filter_html.ml modified , text changed
Directorymetaprl/filter/filter_html.mli modified , text changed
Directorymetaprl/filter/filter_magic.mli modified , text changed
Directorymetaprl/filter/filter_main.ml modified , text changed
Directorymetaprl/filter/filter_main.mli modified , text changed
Directorymetaprl/filter/filter_ocaml.ml modified , text changed
Directorymetaprl/filter/filter_ocaml.mli modified , text changed
Directorymetaprl/filter/filter_parse.ml modified , text changed
Directorymetaprl/filter/filter_parse.mli modified , text changed
Directorymetaprl/filter/filter_prog.ml modified , text changed
Directorymetaprl/filter/filter_prog.mli modified , text changed
Directorymetaprl/filter/filter_summary.ml modified , text changed
Directorymetaprl/filter/filter_summary.mli modified , text changed
Directorymetaprl/filter/filter_summary_io.ml modified , text changed
Directorymetaprl/filter/filter_summary_io.mli modified , text changed
Directorymetaprl/filter/filter_summary_param.mlz modified , text changed
Directorymetaprl/filter/filter_summary_type.mlz modified , text changed
Directorymetaprl/filter/filter_summary_util.ml modified , text changed
Directorymetaprl/filter/filter_summary_util.mli modified , text changed
[...]

  ViewVC Help
Powered by ViewVC 1.1.26