From c4671d3802edf155f1f4faed2184dc466420b413 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 29 Jul 2019 07:21:39 +0100 Subject: [PATCH] Improved reference to repository URL. --- .../Isabelle_DOF-Manual/document/preamble.tex | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex index f5f7300..1ff55df 100644 --- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex +++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex @@ -131,9 +131,10 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. } \lowertitleback{% -{\large This manual describes \isadof version \isadofversion. Previous releases -as well as latest development version are available at -\url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF}.} +This manual describes \isadof version \isadofversion. + +The latest development version as well as previous releases are available at +\url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF}. \paragraph*{Contributors.} We would like to thank the following contributors to \isadof (in alphabetical order): Idir Ait-Sadoune, Paolo Crisafulli, and Chantal Keller.