Auto-generated website for commit 539b370

KWARC · Oct 15, 2024 · bcf9389 · bcf9389
1 parent 00b27f5
commit bcf9389
Show file tree

Hide file tree

Showing 25 changed files with 6,839 additions and 6,824 deletions.
diff --git a/FormalCAD/index.html b/FormalCAD/index.html
@@ -142,14 +142,14 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
           </ol>
           <h3 id="unpublished">Unpublished</h3>
           <ol class="ltx_biblist">
-            <li id="bib.bib1102" class="ltx_bibitem ltx_bib_unpublished"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1102" class="ltx_bibitem ltx_bib_unpublished"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack</span><span class="ltx_text ltx_bib_year"> (2013)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Towards ontological support for principle solutions in mechanical engineering</span>.
 </span>
-<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/kohlhase/papers/fm13.pdf" title="" class="ltx_ref ltx_bib_external">Link</a></span>
+<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/kohlhase/papers/fm13.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
 </span>
-<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
+<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
 </span></li>
           </ol>
           <h3 id="misc">Miscellaneous</h3>

diff --git a/cdavid/index.html b/cdavid/index.html
@@ -293,16 +293,16 @@ <h3 id="unpublished">Unpublished</h3>
           </ol>
           <h3 id="misc">Miscellaneous</h3>
           <ol class="ltx_biblist">
-            <li id="bib.bib384" class="ltx_bibitem ltx_bib_misc"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib384" class="ltx_bibitem ltx_bib_misc"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">C. David</span><span class="ltx_text ltx_bib_year"> (2010)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Interactive documents as interfaces to computer algebra systems: JOBAD and Wolfram—Alpha</span>.
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_type">B. Sc. Thesis</span>,  <span class="ltx_text ltx_bib_publisher">Jacobs University Bremen</span>.
 </span>
-<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/people/archive/pubs/bsc-2010/cdavid.pdf" title="" class="ltx_ref ltx_bib_external">Link</a></span>
+<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/people/archive/pubs/bsc-2010/cdavid.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
 </span>
-<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
+<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
 </span></li>
           </ol>
         </div>

diff --git a/clange/index.html b/clange/index.html
diff --git a/comma/index.html b/comma/index.html
diff --git a/cpoint/index.html b/cpoint/index.html
@@ -160,7 +160,7 @@ <h3 id="thesis">Theses</h3>
           <h3 id="gray">Gray Literature</h3>
           <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib1021" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[4]</span>
+            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1021" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[4]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">A. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2007)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">CPoint — ein invasiver, semantischer Editor für Content in MS PowerPoint</span>.
@@ -169,9 +169,9 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_pages"> pp. 116–118</span>.
 </span>
-<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
+<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
 </span></li>
-            <li id="bib.bib916" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib916" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">A. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2006)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">CPoint – ein invasiver, semantischer Editor für wiederverwendaren Content in MS PowerPoint</span>.
@@ -181,9 +181,9 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_pages"> pp. 35–42</span>.
 </span>
-<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
+<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
 </span></li>
-            <li id="bib.bib917" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
+            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib917" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">A. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2006)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">The User as Prisoner: How the Dilemma Might Dissolve</span>.
@@ -193,32 +193,32 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_pages"> pp. 26–31</span>.
 </span>
-<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://dimeb.informatik.uni-bremen.de/documents/LOKMOL2006_UserAsPrisoner.pdf" title="" class="ltx_ref ltx_bib_external">Link</a></span>
+<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://dimeb.informatik.uni-bremen.de/documents/LOKMOL2006_UserAsPrisoner.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
 </span>
-<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
+<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
 </span></li>
-            <li id="bib.bib915" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib915" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">A. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2004)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">CPoint’s mathematical user interface</span>.
 </span>
 <span class="ltx_bibblock">In <span class="ltx_text ltx_bib_inbook">Mathematical user interfaces workshop 2004Mathematical User Interfaces</span>,  <span class="ltx_text ltx_bib_editor">P. Libbrecht (Ed.)</span>,
 </span>
-<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://dimeb.informatik.uni-bremen.de/documents/DeLFI2006CPointContentAuthoringForELectures.pdf" title="" class="ltx_ref ltx_bib_external">Link</a></span>
+<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://dimeb.informatik.uni-bremen.de/documents/DeLFI2006CPointContentAuthoringForELectures.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
 </span>
-<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
+<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
 </span></li>
           </ol>
           <h3 id="misc">Miscellaneous</h3>
           <ol class="ltx_biblist">
-            <li id="bib.bib850" class="ltx_bibitem ltx_bib_misc"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib850" class="ltx_bibitem ltx_bib_misc"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">A. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2005)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">CPoint</span>.
 </span>
-<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/CPoint/" title="" class="ltx_ref ltx_bib_external">Link</a></span>
+<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/CPoint/" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
 </span>
-<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
+<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
 </span></li>
           </ol>
         </div>