updated references to the now-pornographic proofgeneral.org
authorpaulson
Mon Dec 15 17:08:41 2003 +0100 (2003-12-15)
changeset 14296bcba1d67f854
parent 14295 7f115e5c5de4
child 14297 7c84fd26add1
updated references to the now-pornographic proofgeneral.org
doc-src/TutorialI/preface.tex
doc-src/manual.bib
     1.1 --- a/doc-src/TutorialI/preface.tex	Mon Dec 15 16:38:25 2003 +0100
     1.2 +++ b/doc-src/TutorialI/preface.tex	Mon Dec 15 17:08:41 2003 +0100
     1.3 @@ -50,7 +50,7 @@
     1.4  Isabelle's \hfootref{http://isabelle.in.tum.de/}{web site} contains links to
     1.5  the download area and to documentation and other information.  Most Isabelle
     1.6  sessions are now run from within David Aspinall's\index{Aspinall, David}
     1.7 -wonderful user interface, \hfootref{http://www.proofgeneral.org/}{Proof
     1.8 +wonderful user interface, \hfootref{http://proofgeneral.inf.ed.ac.uk/}{Proof
     1.9    General}, even together with the
    1.10  \hfootref{http://x-symbol.sourceforge.net}{X-Symbol} package for XEmacs.  This
    1.11  book says very little about Proof General, which has its own documentation.
     2.1 --- a/doc-src/manual.bib	Mon Dec 15 16:38:25 2003 +0100
     2.2 +++ b/doc-src/manual.bib	Mon Dec 15 17:08:41 2003 +0100
     2.3 @@ -88,8 +88,9 @@
     2.4    booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs)},
     2.5    year =	 2000,
     2.6    note =	 {Unpublished work-in-progress paper,
     2.7 -                  \url{http://www.proofgeneral.org/~da/drafts/eproof.ps.gz}}
     2.8 +                  \url{http://homepages.inf.ed.ac.uk/da/papers/drafts/eproof.ps.gz}}
     2.9  }
    2.10 +
    2.11  @InProceedings{Aspinall:TACAS:2000,
    2.12    author = 	 {David Aspinall},
    2.13    title = 	 {{P}roof {G}eneral: A Generic Tool for Proof Development},
    2.14 @@ -105,13 +106,13 @@
    2.15  @Misc{isamode,
    2.16    author =	 {David Aspinall},
    2.17    title =	 {Isamode --- {U}sing {I}sabelle with {E}macs},
    2.18 -  note =	 {\url{http://www.proofgeneral.org/~da/Isamode/}}
    2.19 +  note =	 {\url{http://homepages.inf.ed.ac.uk/da/Isamode/}}
    2.20  }
    2.21  
    2.22  @Misc{proofgeneral,
    2.23    author =	 {David Aspinall},
    2.24    title =	 {{P}roof {G}eneral},
    2.25 -  note =	 {\url{http://www.proofgeneral.org}}
    2.26 +  note =	 {\url{http://proofgeneral.inf.ed.ac.uk/}}
    2.27  }
    2.28  
    2.29  %B