289d272011
Closes #206 , closes #212 and closes #213
2015-04-15 15:11:30 -07:00
1b6ce1dba8
Merge pull request #196 from protegeproject/rsg
...
initialization with a URI
2015-04-06 11:35:24 -07:00
cd91c4ed3f
initialization with a URI
2015-04-03 15:37:50 -07:00
7f5455385f
Removed improper element
2015-04-03 14:58:36 -07:00
6b6fc735e9
Move plugin.xml into resources folder
2015-04-03 14:46:14 -07:00
5a17a134c7
Removed some old cruft
2015-04-03 14:42:12 -07:00
d94a580ebf
Rename files OWLDescriptionChecker.java and OWLDescriptionSetChecker.java to match the classes they contain. This stops maven from recompiling every single java file every single time.
...
This wasn't getting flagged as an error, because the classes are package local in scope (if they had been public, there would have been complaints).
2015-04-02 13:34:21 -07:00
6beb7d9d3b
Remove spurious import of unused, private class com.sun.org.apache.xpath.internal.operations.Bool
2015-04-02 13:31:37 -07:00
10909aadcc
Closes #193
2015-04-01 16:14:09 -07:00
c5003ce07a
Tidied nav panel
2015-04-01 15:49:19 -07:00
556e45e9f5
Closes #189 and closes #146
...
- Replaced find field with a search button that displays a moveable,
resizable non-modal search dialog.
2015-04-01 15:48:59 -07:00
54870c2f7c
Remove border from comboboxes
...
We were adding a light grey border around combo boxes. Not sure why.
Anyway, they look better without them.
2015-04-01 12:36:39 -07:00
6835850f7d
Closes #192
2015-03-31 17:01:38 -07:00
320a43a837
Closes #188
2015-03-31 16:37:43 -07:00
5d2cbcbc4a
Removed cruft
2015-03-31 16:25:54 -07:00
84a4b464ea
Closes #176
2015-03-30 17:00:53 -07:00
ff2853a612
Merge pull request #170 from ykazakov/master
...
Thanks a lot for the contribution Yevgeny!
2015-03-30 13:01:06 -07:00
b5f9b587c9
catching and ignoring UnsupportedOperationException when executing
...
reasoner
2015-03-22 21:49:24 +01:00
d142216820
non-buffering change lister: a better detection if changes may have
...
effect on reasoning results (only those applied to ontologies in the
import closure may have)
2015-03-22 21:49:23 +01:00
508f8357b0
Closes #173
2015-03-20 10:52:05 -07:00
d4de29e0a5
Closes #172
2015-03-20 10:39:27 -07:00
63cd699928
Merge pull request #164 from sesuncedu/detect-osx
...
Thanks Simon.
2015-03-18 20:54:03 -07:00
ede5312105
Detect OS.X
2015-03-18 22:18:16 -04:00
31aafd4bbb
[maven-release-plugin] prepare for next development iteration
2015-03-17 16:14:00 -07:00
5ba6db297d
[maven-release-plugin] prepare release protege-parent-5.0.0-beta-17
2015-03-17 16:13:57 -07:00
e8544ddfbc
Removed junk pom
2015-03-17 16:09:17 -07:00
4fefde834e
Modified the final name
2015-03-17 12:04:13 -07:00
9cdbd30197
Fixed bat files
...
- Used correct slashes in path to java
- Used correct felix jar
2015-03-17 11:43:26 -07:00
56a0851360
Fixed permission problems
2015-03-17 11:36:17 -07:00
a070b84bd3
Rewrote assemblies to provide distributions for JREs for OS X, Windows and Linux
...
- Added an assembly for each platform (including platform-independent,
which perhaps should be “no-jre”).
- Added dependencies for each jre. The dependencies are hosted in our
protege maven repo (I don’t think this should be in git and on github).
- Customised the run scripts for each platform specific installation.
- TODO: Add filtering for common properties.
- TODO: Investigate the maven iterator plugin so that we can have just
one assembly.xml (I’ve designed the layout with this in mind).
2015-03-17 10:20:25 -07:00
135d9b0cd0
Added a new OS X assembly
...
Distribute the OS X JRE with the Protege OS X distribution
- Added a new dependency to the OS X JRE artefact (this is in our local
repo that is hosted on GitHub) that saves the Protege repo containing
the JRE (less downloads hopefully!).
- Rejigged some things to tidy things up
In the end I think we should have separate artefacts for each kind of
distribution (need to use maven-resources-plugin)
2015-03-16 22:50:23 -07:00
d5d078ee5b
Removed redundant versions.txt
2015-03-16 17:05:06 -07:00
15557701d6
Closes #160
2015-03-16 17:04:40 -07:00
b336b96deb
Removed commented out stuff
2015-03-16 16:46:07 -07:00
0ff559e6cd
Closes #159
2015-03-16 16:45:36 -07:00
e7913f9ef3
Tidy of version.txt
...
Hopefully we can eliminate this all together!
2015-03-16 16:26:27 -07:00
15da2657a0
Closes #158
2015-03-16 16:25:04 -07:00
211e2de76f
Closes #157
2015-03-16 16:22:09 -07:00
04b4c3e0c0
Rejigged distribution
...
- Changed directory structure
- Removed some felix jars (that aren’t used)
- Removed felix source
- Split scripts into separate directories (to target specific platforms
in the build)
2015-03-16 16:05:08 -07:00
62d8655078
Fixes #156
...
Reload menu changed from “R” to “shift R”
2015-03-16 09:13:16 -07:00
984f6afc90
Closes #152
...
Added a “Reload” item to the File Menu. If the user has modified the
ontology but not saved it then they get a prompt warning them that they
will lose unsaved changes.
2015-03-13 16:22:28 -07:00
db999c2375
[maven-release-plugin] prepare for next development iteration
2015-03-10 18:57:02 -07:00
0741e94f63
[maven-release-plugin] prepare release protege-parent-5.0.0-beta-16
2015-03-10 18:56:59 -07:00
dcd23d2c91
Quiet JavaDoc generation
2015-03-10 18:53:50 -07:00
2c9b57f41a
Don't fail on JavaDoc errors
2015-03-10 18:44:48 -07:00
17e144efad
[maven-release-plugin] rollback the release of protege-parent-5.0.0-beta-16
2015-03-10 18:38:29 -07:00
79582d40db
[maven-release-plugin] prepare for next development iteration
2015-03-10 18:35:48 -07:00
92d491b43e
[maven-release-plugin] prepare release protege-parent-5.0.0-beta-16
2015-03-10 18:35:45 -07:00
7365d063db
Updated Guava dependency
...
Updated Guava dependency to 18.0
2015-03-10 13:51:19 -07:00
5cfdbcbb82
Beginnings of a combined property hierarchy
2015-03-10 13:36:34 -07:00
Matthew Horridge