/[mojave]
ViewVC logotype

Revision 2772


Jump to revision: Previous Next
Author: nogin
Date: Sun Jul 4 00:42:06 1999 UTC (22 years, 1 month ago)
Changed paths: 2
Log Message:
Small changes


Changed paths

Path Details
Directorymetaprl/editor/ml/shell_state.ml modified , text changed
Directorymetaprl/theories/tactic/mptop.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26