tuned;
authorwenzelm
Mon Dec 09 12:27:18 2013 +0100 (2013-12-09)
changeset 54704ea71549629e2
parent 54703 499f92dc6e45
child 54705 0dff3326d12a
tuned;
src/Doc/System/Sessions.thy
     1.1 --- a/src/Doc/System/Sessions.thy	Mon Dec 09 12:22:23 2013 +0100
     1.2 +++ b/src/Doc/System/Sessions.thy	Mon Dec 09 12:27:18 2013 +0100
     1.3 @@ -139,7 +139,7 @@
     1.4    quasi-hierarchic naming conventions like @{text "HOL\<dash>SPARK"},
     1.5    @{text "HOL\<dash>SPARK\<dash>Examples"}.  An alternative is to use
     1.6    unqualified names that are relatively long and descriptive, as in
     1.7 -  the Archive of Formal Proofs (@{url "http://afp.sf.net"}), for
     1.8 +  the Archive of Formal Proofs (@{url "http://afp.sourceforge.net"}), for
     1.9    example. *}
    1.10  
    1.11