Admin/PIDE/README
author wenzelm
Sun, 20 Jan 2013 13:59:13 +0100
changeset 50990 11996ea98bbe
parent 46245 01496117a5cc
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
46245
01496117a5cc basic support for PIDE Scala programming, independently of the main Isabelle repository;
wenzelm
parents:
diff changeset
     1
Prover IDE support
01496117a5cc basic support for PIDE Scala programming, independently of the main Isabelle repository;
wenzelm
parents:
diff changeset
     2
==================
01496117a5cc basic support for PIDE Scala programming, independently of the main Isabelle repository;
wenzelm
parents:
diff changeset
     3
01496117a5cc basic support for PIDE Scala programming, independently of the main Isabelle repository;
wenzelm
parents:
diff changeset
     4
This is some basic support for PIDE Scala programming, independently
01496117a5cc basic support for PIDE Scala programming, independently of the main Isabelle repository;
wenzelm
parents:
diff changeset
     5
of the main Isabelle repository.
01496117a5cc basic support for PIDE Scala programming, independently of the main Isabelle repository;
wenzelm
parents:
diff changeset
     6
01496117a5cc basic support for PIDE Scala programming, independently of the main Isabelle repository;
wenzelm
parents:
diff changeset
     7
01496117a5cc basic support for PIDE Scala programming, independently of the main Isabelle repository;
wenzelm
parents:
diff changeset
     8
  Makarius
01496117a5cc basic support for PIDE Scala programming, independently of the main Isabelle repository;
wenzelm
parents:
diff changeset
     9
  17-Jan-2012
01496117a5cc basic support for PIDE Scala programming, independently of the main Isabelle repository;
wenzelm
parents:
diff changeset
    10