Admin/PIDE/README
changeset 64385 d072d327b9b2
parent 64380 4b22e1268779
child 64386 e936967c2a06
equal deleted inserted replaced
64380:4b22e1268779 64385:d072d327b9b2
     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