src/Pure/ROOT.scala
author wenzelm
Fri, 21 Apr 2017 15:26:24 +0200
changeset 65534 b6250ee6ce79
parent 64370 865b39487b5d
child 65712 ddd6dfc28e80
permissions -rw-r--r--
clarified local_theories: exclude ancestor sessions;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
57647
5c600dd17617 clarified file names;
wenzelm
parents: 45673
diff changeset
     1
/*  Title:      Pure/ROOT.scala
42720
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     2
    Author:     Makarius
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     3
57647
5c600dd17617 clarified file names;
wenzelm
parents: 45673
diff changeset
     4
Root of isabelle package.
42720
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     5
*/
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     6
62492
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
     7
package object isabelle
42720
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     8
{
62492
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
     9
  val ERROR = Exn.ERROR
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
    10
  val error = Exn.error _
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
    11
  val cat_error = Exn.cat_error _
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
    12
63789
af28929ff219 support resource management;
wenzelm
parents: 62845
diff changeset
    13
  def using[A <: { def close() }, B](x: A)(f: A => B): B = Library.using(x)(f)
62492
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
    14
  val space_explode = Library.space_explode _
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
    15
  val split_lines = Library.split_lines _
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
    16
  val cat_lines = Library.cat_lines _
64173
85ff21510ba9 tuned signature;
wenzelm
parents: 63789
diff changeset
    17
  val terminate_lines = Library.terminate_lines _
62492
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
    18
  val quote = Library.quote _
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
    19
  val commas = Library.commas _
0e53fade87fe clarified modules;
wenzelm
parents: 57649
diff changeset
    20
  val commas_quote = Library.commas_quote _
42720
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
    21
}