The content of our homepage, https://robur.coop
Find a file
2018-11-26 17:22:56 +01:00
.config contact 2017-11-05 21:55:02 +00:00
Projects Update the installation instructions to refer to the github project 2018-11-26 17:22:56 +01:00
static caldav 2017-12-22 19:22:20 +01:00
About de-pseudonymize and alphabetize myself 2018-01-25 10:22:33 -06:00
Contact some updates, including budget for 2018 and link to techcultivation 2017-12-22 18:58:59 +01:00
Donate Donate: reword 2018-04-18 13:37:26 +02:00
Home typo, plus theorem prover -> proof assistant 2018-01-18 15:58:10 +01:00
Technology typo, plus theorem prover -> proof assistant 2018-01-18 15:58:10 +01:00