K 25
svn:wc:ra_dav:version-url
V 115
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/inference
END
DIGReasonerPreferencesPanel.java
K 25
svn:wc:ra_dav:version-url
V 148
/repos/protege/!svn/ver/16090/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/inference/DIGReasonerPreferencesPanel.java
END
DisplayedInferencesPreferencePanel.java
K 25
svn:wc:ra_dav:version-url
V 155
/repos/protege/!svn/ver/19543/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/inference/DisplayedInferencesPreferencePanel.java
END
ConfigureReasonerAction.java
K 25
svn:wc:ra_dav:version-url
V 144
/repos/protege/!svn/ver/19542/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/inference/ConfigureReasonerAction.java
END
ClassifyAction.java
K 25
svn:wc:ra_dav:version-url
V 135
/repos/protege/!svn/ver/19541/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/inference/ClassifyAction.java
END
InferencePreferencePluginLoader.java
K 25
svn:wc:ra_dav:version-url
V 152
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/inference/InferencePreferencePluginLoader.java
END
TabbedReasonerPreferencesPanel.java
K 25
svn:wc:ra_dav:version-url
V 151
/repos/protege/!svn/ver/19546/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/inference/TabbedReasonerPreferencesPanel.java
END
InferencePreferencePlugin.java
K 25
svn:wc:ra_dav:version-url
V 146
/repos/protege/!svn/ver/19544/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/inference/InferencePreferencePlugin.java
END
ReasonerProgressUI.java
K 25
svn:wc:ra_dav:version-url
V 139
/repos/protege/!svn/ver/16292/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/inference/ReasonerProgressUI.java
END
ClassificationPreferencesPanel.java
K 25
svn:wc:ra_dav:version-url
V 151
/repos/protege/!svn/ver/19662/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/inference/ClassificationPreferencesPanel.java
END
