www.proofgeneral.org;
authorwenzelm
Tue Sep 26 17:02:51 2000 +0200 (2000-09-26)
changeset 100790d78784176f4
parent 10078 8bb4b66cd6b5
child 10080 8fb8c17d1cb5
www.proofgeneral.org;
README.html
doc-src/manual.bib
     1.1 --- a/README.html	Tue Sep 26 17:01:59 2000 +0200
     1.2 +++ b/README.html	Tue Sep 26 17:02:51 2000 +0200
     1.3 @@ -80,14 +80,14 @@
     1.4  <h2>User interface</h2>
     1.5  
     1.6  The canonical Isabelle user interface is <a
     1.7 -href="http://www.dcs.ed.ac.uk/home/proofgen/">Proof General</a> by
     1.8 -David Aspinall and others.  It is a generic (X)Emacs interface for
     1.9 -proof assistants, including Isabelle (both for the classic and Isar
    1.10 -version).  Proof General is suitable for use by pacifists and Emacs
    1.11 -militants alike. Its most prominent feature is script management,
    1.12 -providing a metaphor of <em>live proof script editing</em>.  Proof
    1.13 -General has recently gained a rather large following of both beginning
    1.14 -and expert users of Isabelle.
    1.15 +href="http://www.proofgeneral.org">Proof General</a> by David Aspinall
    1.16 +and others.  It is a generic (X)Emacs interface for proof assistants,
    1.17 +including Isabelle (both for the classic and Isar version).  Proof
    1.18 +General is suitable for use by pacifists and Emacs militants
    1.19 +alike. Its most prominent feature is script management, providing a
    1.20 +metaphor of <em>live proof script editing</em>.  Proof General has
    1.21 +recently gained a rather large following of both beginning and expert
    1.22 +users of Isabelle.
    1.23  
    1.24  <p>
    1.25  
     2.1 --- a/doc-src/manual.bib	Tue Sep 26 17:01:59 2000 +0200
     2.2 +++ b/doc-src/manual.bib	Tue Sep 26 17:02:51 2000 +0200
     2.3 @@ -99,13 +99,13 @@
     2.4  @Misc{isamode,
     2.5    author =	 {David Aspinall},
     2.6    title =	 {Isamode --- {U}sing {I}sabelle with {E}macs},
     2.7 -  note =	 {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}}
     2.8 +  note =	 {\url{http://zermelo.dcs.ed.ac.uk/~da/Isamode/}}
     2.9  }
    2.10  
    2.11  @Misc{proofgeneral,
    2.12    author =	 {David Aspinall and others},
    2.13    title =	 {{P}roof {G}eneral --- {O}rganize your proofs!},
    2.14 -  note =	 {\url{http://www.dcs.ed.ac.uk/home/proofgen/}}
    2.15 +  note =	 {\url{http://www.proofgeneral.org}}
    2.16  }
    2.17  
    2.18  %B