Commit graph

35 commits

Author SHA1 Message Date
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
Renamed from Index (Browse further)