README
changeset 73530 89cf7c903aca
parent 71337 e20c47795846
equal deleted inserted replaced
73529:cf1a1e92bf34 73530:89cf7c903aca
     1 The Isabelle System Distribution
     1 The Isabelle System Distribution
     2 ================================
     2 ================================
     3 
     3 
     4 Version information
     4 See the NEWS file in the distribution for details on user-relevant
     5 -------------------
     5 changes.  The ANNOUNCE file recounts notable changes for the latest
       
     6 official release.
     6 
     7 
     7 This is some repository version of Isabelle.
     8 The core of Isabelle is subject to a 3-clause BSD license, but add-on
     8 
     9 components have their own license schemes (similar to a Linux
     9 See the NEWS file in the distribution for details on user-relevant
    10 distribution).
    10 changes.
       
    11 
    11 
    12 
    12 
    13 Installation
    13 Installation
    14 ------------
    14 ------------
    15 
    15