SIDER issueshttps://gl.kwarc.info/jucovschi/sider/-/issues2018-08-31T00:20:18Zhttps://gl.kwarc.info/jucovschi/sider/-/issues/4make sider work on MacOS2018-08-31T00:20:18ZMichael Kohlhasemichael.kohlhase@fau.demake sider work on MacOSthere seem to be problems :-) there seem to be problems :-) Constantin JucovschiConstantin Jucovschihttps://gl.kwarc.info/jucovschi/sider/-/issues/3have a link for issues2018-08-31T00:20:18ZConstantin Jucovschihave a link for issuesConstantin JucovschiConstantin Jucovschihttps://gl.kwarc.info/jucovschi/sider/-/issues/2Definition Finder2018-08-31T00:20:18ZConstantin JucovschiDefinition FinderSearch definitions and allow term referencing Search definitions and allow term referencing ZBMathJan2013https://gl.kwarc.info/jucovschi/sider/-/issues/1NNexus Integration2018-08-31T00:20:19ZConstantin JucovschiNNexus IntegrationAdd NNexus integration into the mathhub.info online editor.Add NNexus integration into the mathhub.info online editor.ZBMathJan2013