diff --git a/_layouts/project.html b/_layouts/project.html index 9d5a25c536d5bdce74048a2a87bfdab50c845f19..cc90cec633ce359aa8eeb337e3b3b0e7abba2f86 100644 --- a/_layouts/project.html +++ b/_layouts/project.html @@ -79,18 +79,27 @@ layout: default <br /> {% endfor %} </div> + {% assign hasaction = false %} - {% if page.website or page.publink or page.proposal%} + {% if page.website %}{% assign hasaction = true %}{% endif %} + {% if page.repository %}{% assign hasaction = true %}{% endif %} + {% if page.proposal %}{% assign hasaction = true %}{% endif %} + {% if page.publink %}{% assign hasaction = true %}{% endif %} + + {% if hasaction %} <div class="card-action"> - {% if page.website %} - <a target="_blank" href="{{page.website}}">Website</a> - + {% if page.website %} + <a target="_blank" href="{{ page.website }}">Website</a> + + {% endif %} + {% if page.repository %} + <a target="_blank" href="{{ page.repository }}">Repository</a> + {% endif %} - - {% if page.proposal %} - <a target="_blank" href="{{page.proposal}}">Proposal</a> - - {% endif %} + {% if page.proposal %} + <a target="_blank" href="{{page.proposal}}">Proposal</a> + + {% endif %} {% if page.publink == "auto" %} <a href="http://kwarc.github.io/bibs/{{ page.url | replace: '/projects/', '' | replace: '/', '' }}/">Publications</a> @@ -104,4 +113,4 @@ layout: default <div class="caption"> {{content}} </div> -</div +</div> diff --git a/_layouts/system.html b/_layouts/system.html index 26e6d3341675bf77d02f8f09da2f4aea46e83468..d391aab91f54924935b9d063bec5a814c15e7cd4 100644 --- a/_layouts/system.html +++ b/_layouts/system.html @@ -45,6 +45,7 @@ layout: default {% if page.website %}{% assign hasaction = true %}{% endif %} {% if page.repository %}{% assign hasaction = true %}{% endif %} + {% if page.publink %}{% assign hasaction = true %}{% endif %} {% if hasaction %} <div class="card-action"> @@ -56,7 +57,11 @@ layout: default <a target="_blank" href="{{ page.repository }}">Repository</a> {% endif %} - <a href="https://kwarc.info/{{ page.account }}/publications.html">Publications</a> + {% if page.publink == "auto" %} + <a href="http://kwarc.github.io/bibs/{{ page.url | replace: '/projects/', '' | replace: '/', '' }}/">Publications</a> + {% elsif page.publink %} + <a href="{{page.publink}}">Publications</a> + {% endif %} </div> {% endif %} </div> diff --git a/projects/arXMLiv.md b/projects/arXMLiv.md index c3a1e07d02da8adb1ad92ebd53e6bd9cd5e22a48..e036d01657179e6397d517df7459a9fcc0568187 100644 --- a/projects/arXMLiv.md +++ b/projects/arXMLiv.md @@ -33,10 +33,10 @@ state/results: [old but complete](http://cortex.mathweb.org/corpus/arXMLiv), [new system in Erlangen](https://corpora.mathweb.org/corpus/arxiv_1712/tex_to_html). Applications of this include a mathematical search engine [MathWebSearch](/systems/mws/): -(live [demo on the arXMLiv data set](http://arxivsearch.mathweb.org). +(live [demo on the arXMLiv data set](http://arxivsearch.mathweb.org)). Unfortunately, we cannot re-distribute the results of the transformation freely due to arXiv licensing policies. Therefore we have created the Special Interest Group for Math -Linguistics ([SIGMathLing](http://SIGMathLing.kwarc.info) that can distribute the data +Linguistics ([SIGMathLing](http://SIGMathLing.kwarc.info)) that can distribute the data sets under an [NDA](https://sigmathling.kwarc.info/nda/) to -[SIGMathLing members](https://sigmathling.kwarc.info/member/)). +[SIGMathLing members](https://sigmathling.kwarc.info/member/). diff --git a/systems/mathhub.md b/systems/mathhub.md index 153dba2afe12dd6450ff8ec0ff40b5d6258f54ed..73734ea16c2dedb81b85d22d634e8c782f1afdf5 100644 --- a/systems/mathhub.md +++ b/systems/mathhub.md @@ -15,4 +15,9 @@ website: http://mathhub.info repository: https://github.com/KWARC/mathhub --- -MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with mathematical documents and knowledge +[MathHub.info](http://mathhub.info) is a portal for active mathematical documents and an +archive for flexiformal mathematics. It offers a rich interface for reading, writing, and +interacting with mathematical documents and knowledge. + + +