--- a/src/Pure/PIDE/prover.scala Thu Apr 03 20:53:35 2014 +0200
+++ b/src/Pure/PIDE/prover.scala Thu Apr 03 21:08:00 2014 +0200
@@ -11,11 +11,6 @@
{
/* syntax */
- object Syntax
- {
- val empty: Syntax = Outer_Syntax.empty
- }
-
trait Syntax
{
def add_keywords(keywords: Thy_Header.Keywords): Syntax