K 25
svn:wc:ra_dav:version-url
V 118
/repos/protege/!svn/ver/19841/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference
END
OWLReasonerExceptionHandler.java
K 25
svn:wc:ra_dav:version-url
V 151
/repos/protege/!svn/ver/16210/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/OWLReasonerExceptionHandler.java
END
DefaultOWLReasonerExceptionHandler.java
K 25
svn:wc:ra_dav:version-url
V 158
/repos/protege/!svn/ver/16210/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/DefaultOWLReasonerExceptionHandler.java
END
ProtegeOWLReasonerPlugin.java
K 25
svn:wc:ra_dav:version-url
V 148
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/ProtegeOWLReasonerPlugin.java
END
AbstractProtegeOWLReasonerInfo.java
K 25
svn:wc:ra_dav:version-url
V 154
/repos/protege/!svn/ver/19839/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/AbstractProtegeOWLReasonerInfo.java
END
ReasonerPreferences.java
K 25
svn:wc:ra_dav:version-url
V 143
/repos/protege/!svn/ver/19841/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/ReasonerPreferences.java
END
ProtegeOWLReasonerInfo.java
K 25
svn:wc:ra_dav:version-url
V 146
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/ProtegeOWLReasonerInfo.java
END
NoOpReasonerInfo.java
K 25
svn:wc:ra_dav:version-url
V 140
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/NoOpReasonerInfo.java
END
ProtegeOWLReasonerPluginLoader.java
K 25
svn:wc:ra_dav:version-url
V 154
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/ProtegeOWLReasonerPluginLoader.java
END
ReasonerUtilities.java
K 25
svn:wc:ra_dav:version-url
V 141
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/ReasonerUtilities.java
END
OWLReasonerManager.java
K 25
svn:wc:ra_dav:version-url
V 142
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/OWLReasonerManager.java
END
OWLReasonerManagerImpl.java
K 25
svn:wc:ra_dav:version-url
V 146
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/OWLReasonerManagerImpl.java
END
NoOpReasonerFactory.java
K 25
svn:wc:ra_dav:version-url
V 143
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/NoOpReasonerFactory.java
END
ProtegeOWLReasonerAdapter.java
K 25
svn:wc:ra_dav:version-url
V 149
/repos/protege/!svn/ver/19840/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/ProtegeOWLReasonerAdapter.java
END
ProtegeOWLReasonerPluginJPFImpl.java
K 25
svn:wc:ra_dav:version-url
V 155
/repos/protege/!svn/ver/19824/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/ProtegeOWLReasonerPluginJPFImpl.java
END
NoOpReasoner.java
K 25
svn:wc:ra_dav:version-url
V 136
/repos/protege/!svn/ver/19771/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/model/inference/NoOpReasoner.java
END
