src/Doc/Codegen/Adaptation.thy
changeset 59104 a14475f044b2
parent 55147 bce3dbc11f95
child 59377 056945909f60
     1.1 --- a/src/Doc/Codegen/Adaptation.thy	Thu Dec 04 16:51:54 2014 +0100
     1.2 +++ b/src/Doc/Codegen/Adaptation.thy	Fri Dec 05 19:35:36 2014 +0100
     1.3 @@ -2,8 +2,8 @@
     1.4  imports Setup
     1.5  begin
     1.6  
     1.7 -setup %invisible {* Code_Target.extend_target ("\<SML>", ("SML", I))
     1.8 -  #> Code_Target.extend_target ("\<SMLdummy>", ("Haskell", I)) *}
     1.9 +setup %invisible {* Code_Target.add_derived_target ("\<SML>", [("SML", I)])
    1.10 +  #> Code_Target.add_derived_target ("\<SMLdummy>", [("Haskell", I)]) *}
    1.11  
    1.12  section {* Adaptation to target languages \label{sec:adaptation} *}
    1.13