projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b05099f
)
fix more HTML
author
Ralf Jung
<post@ralfj.de>
Tue, 1 Sep 2020 09:35:43 +0000
(11:35 +0200)
committer
Ralf Jung
<post@ralfj.de>
Tue, 1 Sep 2020 09:35:43 +0000
(11:35 +0200)
research/publications.html
patch
|
blob
|
history
diff --git
a/research/publications.html
b/research/publications.html
index e1a32669bbc8d79bb4e732408062c9ae4363e898..cbe4de410bb9dc4f14bd7f3e63d99d6b83912e1d 100644
(file)
--- a/
research/publications.html
+++ b/
research/publications.html
@@
-106,7
+106,6
@@
slug: Publications
<i>Bachelor Thesis</i><br>
[<a href="bachelor/bachelor.pdf">thesis</a>] [<a href="bachelor/bachelor-talk.pdf">slides</a>] [<a href="bachelor/bachelor.zip">coq</a>]
</li></ul>
-</p>
<h2>Workshop Talks</h2>