tuned;
authorwenzelm
Mon Sep 06 10:54:10 1999 +0200 (1999-09-06)
changeset 74835ce623228ef2
parent 7482 7badd511844d
child 7484 9deae880cf74
tuned;
README.html
     1.1 --- a/README.html	Mon Sep 06 10:52:26 1999 +0200
     1.2 +++ b/README.html	Mon Sep 06 10:54:10 1999 +0200
     1.3 @@ -100,11 +100,11 @@
     1.4  <p>
     1.5  
     1.6  <a href="http://www.dcs.ed.ac.uk/home/proofgen/">Proof General</a> is
     1.7 -a generic Emacs interface for proof assistants, including Isabelle (as
     1.8 -of version 2.0).  Proof General is suitable for use by pacifists and
     1.9 -Emacs militants alike. Its most prominent feature is script
    1.10 -management, providing a metaphor of <em>live proof script
    1.11 -editing</em>.
    1.12 +a generic Emacs interface for proof assistants, including Isabelle
    1.13 +(both for the classic and Isar version).  Proof General is suitable
    1.14 +for use by pacifists and Emacs militants alike. Its most prominent
    1.15 +feature is script management, providing a metaphor of <em>live proof
    1.16 +script editing</em>.
    1.17  
    1.18  
    1.19  <h2>Other sources of information</h2>