author haftmann

Wed, 13 Jan 2010 08:56:16 +0100

changeset 34887 31209fb24176

parent 34886 873c31d9f10d

child 34888 460ec1a99aa2

src/HOL/ex/Codegenerator_Pretty_Test.thy file | annotate | diff | comparison | revisions
     1.1 --- a/src/HOL/ex/Codegenerator_Pretty_Test.thy	Wed Jan 13 08:56:15 2010 +0100
     1.2 +++ b/src/HOL/ex/Codegenerator_Pretty_Test.thy	Wed Jan 13 08:56:16 2010 +0100
     1.3 @@ -10,6 +10,6 @@
     1.4  export_code * in SML module_name CodegenTest
     1.5    in OCaml module_name CodegenTest file -
     1.6    in Haskell file -
     1.7 -  in Scala file -
     1.8 +(*in Scala file -*)
     1.9  
    1.10  end