Skip to content

Commit

Permalink
Auto-generated website for commit 2c0b619
Browse files Browse the repository at this point in the history
  • Loading branch information
kohlhase committed Aug 2, 2024
1 parent 3634843 commit cde7fa8
Show file tree
Hide file tree
Showing 6 changed files with 64 additions and 70 deletions.
120 changes: 60 additions & 60 deletions frabe/index.html

Large diffs are not rendered by default.

2 changes: 0 additions & 2 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -8773,8 +8773,6 @@ <h2 id="unpublished">Unpublished</h2>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Reusing learning objects via theory morphisms</span>.
</span>
<span class="ltx_bibblock">Note: <span class="ltx_text ltx_bib_note">submitted</span>
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/people/mkohlhase/submit/cicm24-recontextualization.pdf" title="" class="ltx_ref ltx_bib_external">Link</a></span>
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
Expand Down
2 changes: 0 additions & 2 deletions mkohlhase/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -4707,8 +4707,6 @@ <h3 id="unpublished">Unpublished</h3>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Reusing learning objects via theory morphisms</span>.
</span>
<span class="ltx_bibblock">Note: <span class="ltx_text ltx_bib_note">submitted</span>
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/people/mkohlhase/submit/cicm24-recontextualization.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" shape="rect">p1</a>.
Expand Down
2 changes: 0 additions & 2 deletions voll-ki/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -458,8 +458,6 @@ <h3 id="unpublished">Unpublished</h3>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Reusing learning objects via theory morphisms</span>.
</span>
<span class="ltx_bibblock">Note: <span class="ltx_text ltx_bib_note">submitted</span>
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/people/mkohlhase/submit/cicm24-recontextualization.pdf" title="" class="ltx_ref ltx_bib_external">Link</a></span>
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
Expand Down
4 changes: 2 additions & 2 deletions xml/kcr.bib.xml
Original file line number Diff line number Diff line change
Expand Up @@ -144,16 +144,16 @@
<surname>Schütz</surname>
<givenname>Marcel</givenname>
</bib-name>
<bib-note role="annotation">submitted</bib-note>
<bib-date role="publication">2024</bib-date>

<bib-url href="https://kwarc.info/people/mkohlhase/submit/cicm24-recontextualization.pdf">Link</bib-url>
<bib-data role="soonurl">https://url.mathhub.info/relocalization/</bib-data>
<bib-data role="pubs">mkohlhase,mschuetz,voll-ki</bib-data>
<bib-data role="self" type="BibTeX">@unpublished{KohSch:rlotm24b,
title = {Reusing Learning Objects via Theory Morphisms},
author = {Michael Kohlhase and Marcel Sch{\"u}tz},
note = {submitted},
year = {2024},
crossref = {CICM24},
url = {https://kwarc.info/people/mkohlhase/submit/cicm24-recontextualization.pdf},
soonurl = {https://url.mathhub.info/relocalization/},
pubs = {mkohlhase,mschuetz,voll-ki}}
Expand Down
4 changes: 2 additions & 2 deletions xml/kwarcpubs.bib.xml
Original file line number Diff line number Diff line change
Expand Up @@ -109,16 +109,16 @@
<surname>Schütz</surname>
<givenname>Marcel</givenname>
</bib-name>
<bib-note role="annotation">submitted</bib-note>
<bib-date role="publication">2024</bib-date>
<bib-related bibrefs="CICM24" role="host"/>
<bib-url href="https://kwarc.info/people/mkohlhase/submit/cicm24-recontextualization.pdf">Link</bib-url>
<bib-data role="soonurl">https://url.mathhub.info/relocalization/</bib-data>
<bib-data role="pubs">mkohlhase,mschuetz,voll-ki</bib-data>
<bib-data role="self" type="BibTeX">@unpublished{KohSch:rlotm24b,
title = {Reusing Learning Objects via Theory Morphisms},
author = {Michael Kohlhase and Marcel Sch{\"u}tz},
note = {submitted},
year = {2024},
crossref = {CICM24},
url = {https://kwarc.info/people/mkohlhase/submit/cicm24-recontextualization.pdf},
soonurl = {https://url.mathhub.info/relocalization/},
pubs = {mkohlhase,mschuetz,voll-ki}}
Expand Down

0 comments on commit cde7fa8

Please sign in to comment.