From 5ca4adbd8641326d424eb6939c2baaca0146cf62 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 15 May 2004 15:26:21 +0000
Subject: [PATCH] - Start of intro.

---
 src/main.c | 23 ++++++++++++++++++++++-
 1 file changed, 22 insertions(+), 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index d7edb16..2acc375 100644
--- a/src/main.c
+++ b/src/main.c
@@ -1,3 +1,22 @@
+/**
+ *@file main.c
+ * \brief The main file.
+ *
+ * Contains the main switch handling, and passes everything to the core logic.
+ */
+
+/**
+ * \mainpage
+ *
+ * \section intro Introduction
+ *
+ * Scyther is a model checker for security protocols.
+ *
+ * \section install Installation
+ *
+ * How to install Scyther.
+ */
+
 #include <stdlib.h>
 #include <stdio.h>
 #include <time.h>
@@ -545,7 +564,9 @@ MC_single (const System sys)
 //! Model check the system, given all parameters.
 /*
  * Precondition: the system was reset with the corresponding parameters.
- * This also reports on time and states traversed.
+ * Reports time and states traversed.
+ * Note that the return values doubles as the number of failed claims.
+ *@return True iff any claim failed, and thus an attack was found.
  */
 
 int