Admin/PIDE/README
changeset 46245 01496117a5cc
equal deleted inserted replaced
46244:549755ebf4d2 46245:01496117a5cc
       
     1 Prover IDE support
       
     2 ==================
       
     3 
       
     4 This is some basic support for PIDE Scala programming, independently
       
     5 of the main Isabelle repository.
       
     6 
       
     7 
       
     8   Makarius
       
     9   17-Jan-2012
       
    10