adapt name

diff --git a/source/conf.py b/source/conf.py
index 4607261622c3f5dbe99b08ae755ccaa751eee109..457140b02b2db177469a53b8310e301e031f568b 100644 (file)
--- a/source/conf.py
+++ b/source/conf.py
@@ -19,7 +19,7 @@
 
 # -- Project information -----------------------------------------------------
 
-project = 'SSP'
+project = 'State Separation Proofs'
 copyright = '2020, Christoph Egger'
 author = 'Christoph Egger'