src/HOL/Library/Sum_of_Squares.thy
changeset 54703 499f92dc6e45
parent 48891 c0eafbd55de3
child 58418 a04b242a7a01
     1.1 --- a/src/HOL/Library/Sum_of_Squares.thy	Mon Dec 09 12:16:52 2013 +0100
     1.2 +++ b/src/HOL/Library/Sum_of_Squares.thy	Mon Dec 09 12:22:23 2013 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4    \item local solver: @{text "(sos csdp)"}
     1.5  
     1.6    The latter requires a local executable from
     1.7 -  https://projects.coin-or.org/Csdp and the Isabelle settings variable
     1.8 +  @{url "https://projects.coin-or.org/Csdp"} and the Isabelle settings variable
     1.9    variable @{text ISABELLE_CSDP} pointing to it.
    1.10  
    1.11    \end{itemize}