doc-src/manual.bib
changeset 10079 0d78784176f4
parent 9816 2cb9752ff002
child 10107 6715b2ce44d4
     1.1 --- a/doc-src/manual.bib	Tue Sep 26 17:01:59 2000 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Sep 26 17:02:51 2000 +0200
     1.3 @@ -99,13 +99,13 @@
     1.4  @Misc{isamode,
     1.5    author =	 {David Aspinall},
     1.6    title =	 {Isamode --- {U}sing {I}sabelle with {E}macs},
     1.7 -  note =	 {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}}
     1.8 +  note =	 {\url{http://zermelo.dcs.ed.ac.uk/~da/Isamode/}}
     1.9  }
    1.10  
    1.11  @Misc{proofgeneral,
    1.12    author =	 {David Aspinall and others},
    1.13    title =	 {{P}roof {G}eneral --- {O}rganize your proofs!},
    1.14 -  note =	 {\url{http://www.dcs.ed.ac.uk/home/proofgen/}}
    1.15 +  note =	 {\url{http://www.proofgeneral.org}}
    1.16  }
    1.17  
    1.18  %B