/[mojave]
ViewVC logotype

Revision 2549


Jump to revision: Previous Next
Author: jyh
Date: Fri Jan 1 20:14:13 1999 UTC (22 years, 6 months ago)
Changed paths: 7
Log Message:
Fixed up "make clean" to remove more files.
The directory should be like a new checkout afterwards.
Enabled set_debug function in toploop.  You can
turn on debugging with

# set_debug "xxx" true;;

for some debug variable xxx.


Changed paths

Path Details
Directorymetaprl/editor/ml/Makefile modified , text changed
Directorymetaprl/editor/ml/shell.ml modified , text changed
Directorymetaprl/editor/ml/x.ml modified , text changed
Directorymetaprl/ensemble/Makefile modified , text changed
Directorymetaprl/mk/config modified , text changed
Directorymetaprl/theories/tactic/mptop.ml modified , text changed
Directorymetaprl/theories/tptp/Makefile modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26