Commit [3b552e]  Maximize  Restore  History

Rename to FreshInstantiation, adding missing 'i'

Nicolas Beauger Nicolas Beauger 2014-02-21

Laurent Voisin Laurent Voisin 2014-02-21

changed org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/AbstrExpr.java
changed org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/AllI.java
changed org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/DTReasoner.java
changed org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/ExE.java
changed org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/ExF.java
renamed (with changes) org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/utils/FreshInstantiaton.java -> org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/utils/FreshInstantiation.java
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/AbstrExpr.java Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/AllI.java Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/DTReasoner.java Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/ExE.java Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/ExF.java Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/utils/FreshInstantiaton.java to org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/utils/FreshInstantiation.java Diff Switch to side-by-side view
Loading...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks