Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/jEdit/README.html
changeset 45984 67740480cf39
parent 45983 37c89c5cc601
child 45992 76fef3e57004 
     1.1 --- a/src/Tools/jEdit/README.html	Tue Sep 27 21:39:55 2011 +0200
     1.2 +++ b/src/Tools/jEdit/README.html	Tue Sep 27 22:14:15 2011 +0200
     1.3 @@ -12,10 +12,10 @@
     1.4  
     1.5  <body>
     1.6  
     1.7 -<h2>The PIDE framework</h2>
     1.8 +<center><h2><img alt="PIDE" src="PIDE.png" width="230" align="middle"/></h2></center>
     1.9  
    1.10  <p>
    1.11 -  <b>PIDE</b> is an emerging framework for sophisticated Prover IDEs,
    1.12 +  <b>PIDE</b> is a novel framework for sophisticated Prover IDEs,
    1.13    based on Isabelle/Scala technology that is integrated with Isabelle.
    1.14    It is build around a concept of
    1.15    <em>asynchronous document processing</em>, which is supported
wneuper/isa