revisions

.github/TOOL_REQUEST_TEMPLATE.md

@@ -1,4 +1,4 @@
-_The following form is designed to provide information for your tool that should be included in the effort to verify the Rust standard library. Please note that the tool will need to be supported if it is to be included._
+_The following form is designed to provide information for your tool that should be included in the effort to verify the Rust standard library. Please note that the tool will need to be **supported** if it is to be included._
 
 ## Tool Name
 _Please enter your tool name here._
@@ -13,10 +13,10 @@ _Please enter a description for your tool and any information you deem relevant.
 * [ ] Does the tool run independently in CI? 
 * [ ] Is the tool open source?
 * [ ] Is the tool under development? 
-* [ ] Will you or your team be able to provide support for the tool? 
+* [ ] Will you or your team be able to provide support for the tool?
 
 ### Licenses
-<!-- Please list the licenses that the tool uses and can be used under. -->
+_Please list the license(s) that are used by your tool, and if to your knowledge they conflict with the Rust standard library license(s)._
 
 ### Steps to Use the Tool
 

README.md

@@ -37,12 +37,10 @@ See [SECURITY](https://github.com/model-checking/kani/security/policy) for more
 ## License
 
 ### Kani
-
 Kani is distributed under the terms of both the MIT license and the Apache License (Version 2.0).
 See [LICENSE-APACHE](https://github.com/model-checking/kani/blob/main/LICENSE-APACHE) and [LICENSE-MIT](https://github.com/model-checking/kani/blob/main/LICENSE-MIT) for details.
 
 ## Rust
-
 Rust is primarily distributed under the terms of both the MIT license and the Apache License (Version 2.0), with portions covered by various BSD-like licenses.
 
 See [the Rust repository](https://github.com/rust-lang/rust) for details.