1.1 --- a/isac-java/src/java/isac/gui/mawen/syntax/syntax_phases.scala	Sun Jun 18 13:30:51 2017 +0200
     1.2 +++ b/isac-java/src/java/isac/gui/mawen/syntax/syntax_phases.scala	Sun Jun 18 15:10:05 2017 +0200
     1.3 @@ -55,8 +55,12 @@
     1.4    }
     1.5  
     1.6    // still NO ast-translations, compare ~~/src/Pure/Syntax/syntax_phases.ML
     1.7 -  def term_to_ast(tm : Term) : Ast.Ast = 
     1.8 +  def term_to_ast(tm : Term) : Ast.Ast = {
     1.9 +    println("------- term_to_ast -------");
    1.10 +    println("term      : " + tm) //NOT impl.: + XTerm.string_of tm);
    1.11 +    println("simple_ast: " + Ast.raw_string_of(Syntax_Phases.simple_ast_of(tm)));
    1.12      Ast.normalize(XSyntax.print_rules, simple_ast_of(tm))
    1.13 +  }
    1.14    
    1.15    // we do NOT submit Term to Isabelle_Isac, only String (and let parse again)
    1.16    def ast_to_term(ast: Ast.Ast) : Term = Const("DUMMY", Type("DUMMY"))