/[mojave]
ViewVC logotype

Revision 3294


Jump to revision: Previous Next
Author: nogin
Date: Sun Jun 24 17:30:44 2001 UTC (20 years, 1 month ago)
Changed paths: 2
Log Message:
- Corrected precedences in Term_match_table (dforms, dT, etc).
- Mptop now will understand fully qualified names correctly.


Changed paths

Path Details
Directorymetaprl/refiner/reflib/term_match_table.ml modified , text changed
Directorymetaprl/theories/tactic/mptop.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26