/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_shared_context.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_shared_context.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 93596 by julian, Sat Nov 23 07:32:23 2013 UTC revision 93597 by julian, Tue Dec 3 00:48:44 2013 UTC
# Line 41  feature {NONE} -- Access: stateless Line 41  feature {NONE} -- Access: stateless
41                          create Result.make                          create Result.make
42                  end                  end
43    
44            messages: E2B_MESSAGES
45                            -- Messages used in AutoProof.
46                    once
47                            create Result
48                    end
49    
50  feature -- Access (public)  feature -- Access (public)
51    
52          options: E2B_OPTIONS          options: E2B_OPTIONS

Legend:
Removed from v.93596  
changed lines
  Added in v.93597

  ViewVC Help
Powered by ViewVC 1.1.23