test updates

taxonomies/_index.md

@@ -2,3 +2,8 @@
 title = 'All Taxonomy Data'
 layout = 'taxonomies'
 +++
+
+This page contains all of the taxonomy data on this site. There is a lot here, it might be helpful to do a CTRL+F.
+Click on an item in the first column to focus the view onto one taxonomy (e.g., to view a list of tool developers). 
+Click on a colorful item in the second column to view all the tools for which that term applies (e.g., to view all
+the tools developed at SRI International).

tools/_index.md

@@ -0,0 +1,4 @@
++++
+title = "All Tools"
+layout = "section"
++++

tools/z3.md

@@ -10,6 +10,7 @@ systems = ['Discrete Systems', 'Concurrent Systems']
 interactions = ['CLI', 'Python API', 'Rust Bindings', 'playground']
 formalisms = ['first-order logic', 'SMT-LIB', 'quantifier logic', 'bit-vectors', 'arrays', 'uninterpreted functions', 'arithmetic']
 developers = ['Microsoft Research']
+licenses = ['MIT']
 links = [
     { title = "Homepage", url = "https://github.com/Z3Prover/z3" },
     { title = "Source Code", url = "https://github.com/Z3Prover/z3" },