Admin/PIDE/README
author wenzelm
Wed, 16 Mar 2016 22:19:08 +0100
changeset 62645 a2351f82bc48
parent 46245 01496117a5cc
permissions -rw-r--r--
eliminated spurious Unicode, which is in conflict with Isabelle symbol interpretation;
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