From b6cc09e6e187d32a6d4fd3b3820b5e7e8cf66ed1 Mon Sep 17 00:00:00 2001
From: Landon Taylor <landon@mossbiscuits.com>
Date: Fri, 13 Jun 2025 15:13:55 -0600
Subject: [PATCH] add dates

---
 _index.md            | 1 +
 about.md             | 1 +
 contribute.md        | 1 +
 license.md           | 1 +
 privacy.md           | 1 +
 tools/prob/comics.md | 2 +-
 6 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/_index.md b/_index.md
index 0ca0b8d..48f797f 100644
--- a/_index.md
+++ b/_index.md
@@ -2,6 +2,7 @@
 title = 'The Ultimate Formal Methods Toolbox'
 subtitle = 'Discover, Explore, and Contribute to the World’s Largest Collection of Formal Methods Tools'
 # date = 2023-01-01T08:00:00-07:00
+date = 2025-06-07
 # draft = false 
 +++
 
diff --git a/about.md b/about.md
index c566e52..82102b3 100644
--- a/about.md
+++ b/about.md
@@ -1,6 +1,7 @@
 +++
 title = 'About'
 subtitle = 'Learn more about the Formal Methods Tools project'
+date = 2025-06-07
 +++
 
 
diff --git a/contribute.md b/contribute.md
index a8a81fd..0d54f1a 100644
--- a/contribute.md
+++ b/contribute.md
@@ -1,5 +1,6 @@
 +++
 title = 'Contribute'
+date = 2025-06-07
 +++
 
 Instructions coming soon. Please see https://gitmoss.fyi/fmtools/content/wiki/Contribute for temporary instructions.
diff --git a/license.md b/license.md
index dcd6544..5da4c61 100644
--- a/license.md
+++ b/license.md
@@ -1,6 +1,7 @@
 +++
 title = 'MIT License'
 subtitle = 'Open-Source and Free to Use'
+date = 2025-06-07
 +++
 
 MIT License
diff --git a/privacy.md b/privacy.md
index a648221..efc5755 100644
--- a/privacy.md
+++ b/privacy.md
@@ -1,6 +1,7 @@
 +++
 title = 'Privacy'
 subtitle = "tl;dr: I won't know you were here."
+date = 2025-06-07
 +++
 
 This website does not collect or track any personal data from visitors. No cookies, personalized analytics, or tracking scripts are used. No ads are shown on this website, and there is no money to be made from this project.
diff --git a/tools/prob/comics.md b/tools/prob/comics.md
index aebb0f5..7d9011a 100644
--- a/tools/prob/comics.md
+++ b/tools/prob/comics.md
@@ -2,7 +2,7 @@
 date = 2025-06-07
 draft = false
 title = 'COMICS'
-subtitle = 'Probabilistic Model Checker'
+subtitle = 'DTMC Counterexample Generator'
 links = [
     { title = "Homepage", url = "https://ths.rwth-aachen.de/research/tools/comics/", icon = 'fa-solid fa-home' },
     # { title = "Source Code", url = "https://github.com/moves-rwth/storm", icon = 'fa-brands fa-github'  },