Updated readme file.

parent 0b205681
......@@ -10,8 +10,8 @@ The most important files are:
* `manual.tex`: source code of the manual
* `examples`: directory with more examples
Please contact Lasse Kliemann <lki@informatik.uni-kiel.de> in case of problems or questions.
Please contact Christoph Daniel Schulze <cds@informatik.uni-kiel.de> in case of problems or questions.
The homepage of the KCSS is here: https://www.informatik.uni-kiel.de/kcss
The manual is currently here: https://www.informatik.uni-kiel.de/~discopt/kcss/manual.pdf
The manual is currently here: https://git.informatik.uni-kiel.de/kcss/kcss-public/raw/master/manual.pdf
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment