/[mojave]
ViewVC logotype

Revision 2574


Jump to revision: Previous Next
Author: jyh
Date: Mon Jan 25 18:34:13 1999 UTC (22 years, 6 months ago)
Changed paths: 5
Log Message:
Added edit_set_goal, which loads the package if it is not yet loaded.


Changed paths

Path Details
Directorymetaprl/editor/ml/Makefile 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

  ViewVC Help
Powered by ViewVC 1.1.26