From da31ca2952b57448cd46ad918b282af85bfddc35 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 21 May 2019 14:12:24 +0200
Subject: [PATCH] Main page info of Storm for Doxygen

---
 src/storm/storm.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/storm/storm.cpp b/src/storm/storm.cpp
index 3cba6dd3d..a2d4aa0db 100644
--- a/src/storm/storm.cpp
+++ b/src/storm/storm.cpp
@@ -1,3 +1,12 @@
+/*! \mainpage Storm - A Modern Probabilistic Model Checker
+ *
+ * This document contains the Doxygen documentation of the Storm source code.
+ *
+ * \section more_info More information
+ * For more information, installation guides and tutorials on how to use Storm, visit the Storm website: http://www.stormchecker.org.
+ */
+
+
 #include "storm/utility/macros.h"
 #include "storm/exceptions/BaseException.h"