README
changeset 57452 ecad2a53755a
parent 54051 cdba71c67860
child 62190 ec5703538300
equal deleted inserted replaced
57451:3b10acac1d5e 57452:ecad2a53755a
    15    platforms.
    15    platforms.
    16 
    16 
    17    Some technical background information may be found in the Isabelle
    17    Some technical background information may be found in the Isabelle
    18    System Manual (directory doc).
    18    System Manual (directory doc).
    19 
    19 
    20 User interfaces
    20 User interface
    21 
    21 
    22    Isabelle/jEdit is an advanced Prover IDE based on jEdit and
    22    Isabelle/jEdit is an advanced Prover IDE based on jEdit and
    23    Isabelle/Scala.  It provides a metaphor of continuous proof
    23    Isabelle/Scala.  It is the main example application of the
    24    checking of a versioned collection of theory sources, with
    24    Isabelle/PIDE framework, and the default user interface of
    25    instantaneous feedback in real-time and rich semantic markup
    25    Isabelle.  It provides a metaphor of continuous proof checking of a
    26    associated with the formal text.
    26    versioned collection of theory sources, with instantaneous feedback
    27 
    27    in real-time and rich semantic markup associated with the formal
    28    The classic Isabelle user interface is Proof General by David
    28    text.
    29    Aspinall and others.  It is a generic Emacs interface for proof
       
    30    assistants, including Isabelle.  Its main feature is script
       
    31    management, with stepwise proof scripting and partial locking of
       
    32    the editor buffer.
       
    33 
    29 
    34 Other sources of information
    30 Other sources of information
    35 
    31 
    36   The Isabelle Page
    32   The Isabelle Page
    37 
    33