/[mojave]
ViewVC logotype

Revision 3085


Jump to revision: Previous Next
Author: nogin
Date: Wed Oct 18 21:32:01 2000 UTC (20 years, 9 months ago)
Changed paths: 7
Log Message:
Fixed Yegor's typos that prevented MetaPRL from staring (Yegor, please
take a look at my changes)

Other minor fixes.


Changed paths

Path Details
Directorymetaprl/mllib/Makefile modified , text changed
Directorymetaprl/theories/itt/itt_int_base.ml modified , text changed
Directorymetaprl/theories/itt/itt_int_base.mli modified , text changed
Directorymetaprl/theories/itt/itt_int_bool.ml modified , text changed
Directorymetaprl/theories/itt/itt_int_bool_new.ml modified , text changed
Directorymetaprl/theories/itt/itt_int_ext.ml modified , text changed
Directorymetaprl/theories/tactic/mptop.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26