Thu, 20 Dec 2018 19:29:31 +0100 |
casties |
change wording for dialog.
|
Thu, 20 Dec 2018 19:13:34 +0100 |
Robert Casties |
new find-non-public-entities function for aliases with source or target relations.
|
Fri, 14 Dec 2018 16:54:05 +0100 |
Robert Casties |
change links in OpenMind UI to use new bibliography on ismi server.
|
Fri, 07 Dec 2018 15:47:06 +0100 |
Robert Casties |
fix bugs with make-public buttons in entity details form. Closes #152.
|
Wed, 05 Dec 2018 18:48:23 +0100 |
Robert Casties |
update URLs for changed server names.
|
Fri, 09 Nov 2018 15:49:12 +0100 |
Robert Casties |
fix duplicate ids.
|
Fri, 09 Nov 2018 15:43:39 +0100 |
Robert Casties |
render make-public button in show-non-public action.
|
Fri, 09 Nov 2018 15:13:32 +0100 |
Robert Casties |
new Clean UI to find non-public references and witnesses and make them public.
|