/[mojave]
ViewVC logotype

Revision 3479


Jump to revision: Previous Next
Author: emre
Date: Thu Jan 24 05:49:15 2002 UTC (19 years, 6 months ago)
Changed paths: 29
Log Message:
Two changes essentially:
1) Moved more files in theories/mc to have
   the mp_mc_ prefix.
2) Added theories/mc/tests/  The files there are
   pretty empty right now, but the idea is to put
   code there for a simple test program to test
   the mp_mc_connect modules.


Changed paths

Path Details
Directorymetaprl/theories/mc/Conscript modified , text changed
Directorymetaprl/theories/mc/Makefile modified , text changed
Directorymetaprl/theories/mc/mc_fir_connect.ml deleted
Directorymetaprl/theories/mc/mc_fir_connect.mli deleted
Directorymetaprl/theories/mc/mc_fir_connect_base.ml deleted
Directorymetaprl/theories/mc/mc_fir_connect_base.mli deleted
Directorymetaprl/theories/mc/mc_fir_connect_exp.ml deleted
Directorymetaprl/theories/mc/mc_fir_connect_exp.mli deleted
Directorymetaprl/theories/mc/mc_fir_connect_ty.ml deleted
Directorymetaprl/theories/mc/mc_fir_connect_ty.mli deleted
Directorymetaprl/theories/mc/mp_mc_connect.ml added
Directorymetaprl/theories/mc/mp_mc_connect.mli added
Directorymetaprl/theories/mc/mp_mc_connect_base.ml added
Directorymetaprl/theories/mc/mp_mc_connect_base.mli added
Directorymetaprl/theories/mc/mp_mc_connect_exp.ml added
Directorymetaprl/theories/mc/mp_mc_connect_exp.mli added
Directorymetaprl/theories/mc/mp_mc_connect_ty.ml added
Directorymetaprl/theories/mc/mp_mc_connect_ty.mli added
Directorymetaprl/theories/mc/tests/ added
Directorymetaprl/theories/mc/tests/Conscript added
Directorymetaprl/theories/mc/tests/Makefile added
Directorymetaprl/theories/mc/tests/mp_mc_test_connect.ml added
Directorymetaprl/theories/mc/tests/mp_mc_test_connect.mli added
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_base.ml added
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_base.mli added
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_exp.ml added
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_exp.mli added
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_ty.ml added
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_ty.mli added

  ViewVC Help
Powered by ViewVC 1.1.26