Skip to content
Snippets Groups Projects
Commit ee5599c0 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

typos and metadata

parent fdca099b
No related branches found
No related tags found
No related merge requests found
......@@ -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>
&nbsp;
{% if page.website %}
<a target="_blank" href="{{ page.website }}">Website</a>
&nbsp;
{% endif %}
{% if page.repository %}
<a target="_blank" href="{{ page.repository }}">Repository</a>
&nbsp;
{% endif %}
{% if page.proposal %}
<a target="_blank" href="{{page.proposal}}">Proposal</a>
&nbsp;
{% endif %}
{% if page.proposal %}
<a target="_blank" href="{{page.proposal}}">Proposal</a>
&nbsp;
{% 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>
......@@ -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>
&nbsp;
{% 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>
......
......@@ -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/).
......@@ -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.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment