Your Name
|
6fcb28629d
|
damn, aesthetics
|
2019-09-11 00:26:26 +02:00 |
|
Your Name
|
214529c271
|
frontpage placeholder with <u> maybe
|
2019-09-11 00:25:38 +02:00 |
|
Your Name
|
3f7af35cce
|
infix underlining in markdown, how to
|
2019-09-11 00:23:45 +02:00 |
|
Your Name
|
91ec4da4bd
|
infix underlining in markdown, how to
|
2019-09-11 00:23:27 +02:00 |
|
Your Name
|
3c87741524
|
try underlining stuff on frontpage
|
2019-09-11 00:22:36 +02:00 |
|
Your Name
|
14176621e0
|
add spacing to footer
|
2019-09-10 22:28:56 +02:00 |
|
Your Name
|
5d87c4f9b4
|
nuke two header lines
|
2019-09-10 22:28:35 +02:00 |
|
Your Name
|
e04eabde34
|
what is this OMD markdown thing even
|
2019-09-10 22:27:25 +02:00 |
|
Sol
|
a1a04ba800
|
trying to fix breaks in homepage
|
2019-09-10 22:22:38 +02:00 |
|
Sol
|
b8006801f2
|
ficking my markup fuckups
|
2019-09-10 22:19:22 +02:00 |
|
Sol
|
ef125dbfe4
|
new text for website!
|
2019-09-10 21:40:14 +02:00 |
|
Your Name
|
489be157bb
|
make us a cooperative \o/
|
2019-07-19 14:41:19 +02:00 |
|
|
4cfc3d4826
|
typo, plus theorem prover -> proof assistant
|
2018-01-18 15:58:10 +01:00 |
|
|
32086923a3
|
.
|
2018-01-06 18:05:19 +01:00 |
|
|
68085d8be6
|
less words
|
2017-12-22 19:26:35 +01:00 |
|
|
372bfd93e9
|
Home: remove first two paragraphs, they're a bit misplaced here
|
2017-11-24 23:21:24 +00:00 |
|
|
430d2d44a7
|
no title
|
2017-11-05 20:32:06 +00:00 |
|
|
67ece67f0a
|
typo~
|
2017-11-05 18:49:07 +00:00 |
|
|
9f978450a6
|
linse+hannes: revise home
|
2017-11-05 18:47:48 +00:00 |
|
Your Name
|
7d88385bc4
|
clear up some wording
|
2017-11-05 17:30:08 +00:00 |
|
Your Name
|
0d19c5c1f8
|
fix some typos
|
2017-10-30 22:00:55 +01:00 |
|
|
5c3ad93b7b
|
-typo
|
2017-09-18 11:27:21 +01:00 |
|
|
0f20e9d018
|
.
|
2017-09-17 22:29:48 +01:00 |
|
|
bfea06bfab
|
no author
|
2017-09-17 22:20:37 +01:00 |
|
|
e0c7654f6e
|
no c++, c is enough
|
2017-09-17 19:57:20 +01:00 |
|
|
903b6595d7
|
reword + shorten
|
2017-09-17 19:19:26 +01:00 |
|
linse
|
e9fe693430
|
heading
|
2017-09-17 11:35:29 -04:00 |
|
linse
|
eee8a7516a
|
changes
|
2017-09-17 11:33:44 -04:00 |
|
|
1bc356216f
|
more
|
2017-09-17 16:26:55 +01:00 |
|
linse
|
53ebc3bc75
|
Langer satz.
|
2017-09-17 11:25:21 -04:00 |
|
|
3a1f94bd4c
|
.
|
2017-09-17 16:14:14 +01:00 |
|
|
7f9a5454d1
|
.
|
2017-09-17 16:08:27 +01:00 |
|
linse
|
1150d2455f
|
Home advantages.
|
2017-09-17 10:54:34 -04:00 |
|
linse
|
ce47abf11c
|
Move conclusion.
|
2017-09-16 14:06:47 -04:00 |
|
|
7ac00bd572
|
work
|
2017-09-16 18:04:53 +01:00 |
|
|
42cdb93dda
|
from pad
|
2017-09-16 17:52:05 +01:00 |
|
|
4b4529d388
|
.
|
2017-09-16 17:21:24 +01:00 |
|
|
2b85bfe6ed
|
.
|
2017-09-16 15:16:49 +01:00 |
|