Update README.md

Author: svenkarol

README.md

@@ -4,22 +4,27 @@ LimitCSolver is a support and learning tool for students who learn the very basi
 
 Written in C# and .NET using Windows Presentation Foundation, the software runs on Windows only.
 
-Source code is organized as a Visual Studio 2022 Solution including the following projects:
+### Source code is organized as a Visual Studio 2022 Solution including the following projects:
 
 * LimitCInterpreter: an interpreter that can understand a tiny fraction of the C programming language (called LimitC), sufficient to check the very basic scoping rules of the language
 * LimitCInterpreter.Test: the interpreter's test cases (not enough to be honest)
 * MainApplication: the main UI to load simple C programs and create protocols of the variables states at certain check-points (label comments) and compare with the real values that would occur during program execution
 * ProtocolInputApplication: a little helper to create task files that can be loaded by the MainApplication
 * LimitCGenerator: a tool that can generate random LimitC programs to be used as tasks for practicing and improve understanding 
 
-The project depends on the following NuGet-packages (see license files too):
+### The project depends on the following NuGet-packages (see license files too):
 * CommunityToolkit.Mvvm (License: MIT)
 * Newtonsoft.Json (License: MIT)
 * Antlr4.Runtime.Standard (License: BSD 3-Clause)
 
-The code has been written by students of Hochschule Merseburg.
+### Contents of the release:
+* protsolve.exe: main UI for the labeled memory protocols (variable states at check points)
+* protinput.exe: UI to create task files from plain LimitCPrograms 
+
+### Project contributors:
+
+The tool has been written by students of Hochschule Merseburg.
 
-Project contributors:
 * Lukas Reinicke, first implementation in his bachelor thesis
 * Paul Lüttich, coding of the LimitC-Generator in his master thesis
 * Sven Karol, supervision and (some) coding