bump CNAME and README

co-dan · co-dan · commit f0b69c509231 · 2025-07-10T10:40:49.000+02:00
diff --git a/CNAME b/CNAME
@@ -1 +1 @@
-fitch.themisrug.nl
+fitch.rug.themisjudge.nl
diff --git a/README.md b/README.md
@@ -2,15 +2,15 @@
 
 This is a formal proof validator, which determines the correctness of Fitch-style natural deduction proofs ("Fitch proofs").
 
-The tool is used by students who follow the course Introduction to Logic (for CS) at the University of Groningen (the Netherlands).
+The tool was developed by Aron Hardeman and used by students who follow the course Introduction to Logic (for CS) at the University of Groningen (the Netherlands).
 
 The tool also returns a (hopefully useful) error message in case the proof is not correct.
 
 This application takes Fitch proofs as they are defined in *Language, Proof and Logic*, by Dave Barker-Plummer, Jon Barwise and John Etchemendy.
 
 # How to run it?
 
-It is accessible here: [https://fitch.themisrug.nl](https://fitch.themisrug.nl).
+It is accessible here: <https://fitch.rug.themisjudge.nl>
 
 If you want to build and run the application locally, then clone the repository, install Cargo if you haven't already and install `wasm-pack` (to compile Rust to WebAssembly) and do:
 
