From dfff750c636620bd5c6c32f58d189b6e3394894a Mon Sep 17 00:00:00 2001
From: Samiro Discher
Date: Tue, 2 Apr 2024 11:59:55 +0200
Subject: [PATCH] add computing time project extension proposal + update
version number
---
README.html | 4 ++--
README.md | 4 ++--
helper/Version.h | 4 ++--
pdf/rwth1392_extension_2024.pdf | Bin 0 -> 173401 bytes
4 files changed, 6 insertions(+), 6 deletions(-)
create mode 100644 pdf/rwth1392_extension_2024.pdf
diff --git a/README.html b/README.html
index d6e60dc..64854b1 100644
--- a/README.html
+++ b/README.html
@@ -551,7 +551,7 @@ Usage
You may have a look at the log file generated by that computation.
Navigation
Custom Proof Systems
@@ -1208,5 +1208,5 @@ rwth1392.
+✻Generation and utilization were performed with computing resources granted by RWTH Aachen University under project rwth1392.