author | wenzelm |
Tue, 02 Aug 2016 11:49:30 +0200 | |
changeset 63578 | e8990d0e3965 |
parent 62845 | 31177a9c3025 |
child 63789 | af28929ff219 |
permissions | -rw-r--r-- |
/* Title: Pure/ROOT.scala Module: PIDE Author: Makarius Root of isabelle package. */ package object isabelle { val ERROR = Exn.ERROR val error = Exn.error _ val cat_error = Exn.cat_error _ val space_explode = Library.space_explode _ val split_lines = Library.split_lines _ val cat_lines = Library.cat_lines _ val quote = Library.quote _ val commas = Library.commas _ val commas_quote = Library.commas_quote _ }