1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/isac-java/src/java/isac/gui/mawen/syntax/syntax_phases.scala	Wed Mar 08 16:33:58 2017 +0100
     1.3 @@ -0,0 +1,19 @@
     1.4 +/*  THIS IS A PARTIAL TRANSLATION FROM ...
     1.5 +    Title:      Pure/Syntax/syntax_phases.ML
     1.6 +    Author:     Makarius
     1.7 +
     1.8 +Main phases of inner syntax processing, with standard implementations
     1.9 +of parse/unparse operations.
    1.10 +*/
    1.11 +package isac.gui.mawen.syntax
    1.12 +
    1.13 +import isac.gui.mawen.syntax.Ast
    1.14 +import isac.gui.mawen.syntax.isabelle.Term
    1.15 +
    1.16 +object Syntax_Phases {
    1.17 +  
    1.18 +  def simple_ast_of(/* ctxt : ???,*/ t : Term.Term) : Ast.Ast =
    1.19 +    
    1.20 +    Ast.Appl(List())
    1.21 +  
    1.22 +}
    1.23 \ No newline at end of file