Improved paragraph on availability.

examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy

@@ -116,10 +116,13 @@ text\<open>
     \end{quote}
     A \BibTeX-entry is available at: 
     \url{https://www.brucker.ch/bibliography/abstract/brucker.ea-isabelledof-2019}.
-
-
-  The source code of \isadof is available at 
-  \url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF}.
+\<close>
+subsubsection\<open>Availability\<close>
+text\<open>
+  The implementation of the framework is available at 
+  \url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/}. The website also provides
+  links to the latest releases. \isadof is licensed under a 2-clause BSD license 
+  (SPDX-License-Identifier: BSD-2-Clause).
 \<close>
 
 (*<*)