/[mojave]
ViewVC logotype

Revision 2604


Jump to revision: Previous Next
Author: lolorigo
Date: Thu Mar 4 15:02:04 1999 UTC (22 years, 4 months ago)
Changed paths: 7
Log Message:
Implemented access to rewrites and fixed saving of theories in nuprl/mp link


Changed paths

Path Details
Directorymetaprl/editor/ml/library_eval.ml modified , text changed
Directorymetaprl/editor/ml/library_eval.mli modified , text changed
Directorymetaprl/editor/ml/mp.ml modified , text changed
Directorymetaprl/editor/ml/mp.mli modified , text changed
Directorymetaprl/editor/ml/shell.ml modified , text changed
Directorymetaprl/editor/ml/shell.mli modified , text changed
Directorymetaprl/library/basic.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26