add dates

_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 
 +++
 

about.md

@@ -1,6 +1,7 @@
 +++
 title = 'About'
 subtitle = 'Learn more about the Formal Methods Tools project'
+date = 2025-06-07
 +++
 
 

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.

license.md

@@ -1,6 +1,7 @@
 +++
 title = 'MIT License'
 subtitle = 'Open-Source and Free to Use'
+date = 2025-06-07
 +++
 
 MIT License

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.

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'  },