Browse code at this revision
Parent(s): [6a1a37]
| changed | .settings/org.eclipse.jdt.core.prefs |
| changed | src/net/timbusproject/context/protege/FilteredOWLIndividualListViewComponent.java |
src/net/timbusproject/context/protege/FilteredOWLIndividualListViewComponent.java Diff Switch to side-by-side view
