/[eiffelstudio]
ViewVC logotype

Revision 93664


Jump to revision: Previous Next
Author: julian
Date: Mon Dec 9 16:08:07 2013 UTC (5 years, 9 months ago)
Changed paths: 10
Log Message:
Removed eve proofs legacy code.

Changed paths

Path Details
Directorybranches/eth/eve/Src/Eiffel/Ace/ec.ecf modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autoproof/es_autoproof_tool_panel.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/code_analysis/es_code_analysis_tool_panel.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/proof/ deleted
Directorybranches/eth/eve/Src/Eiffel/interface/new_graphical/commands/eb_eve_proofs_command.e deleted
Directorybranches/eth/eve/Src/Eiffel/interface/new_graphical/windows/development_window/eb_development_window_commands.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/new_graphical/windows/development_window/initialization/eb_development_window_main_builder.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/localization/ca_names.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/e2b_messages.e modified , text changed
Directorybranches/eth/eve/Src/framework/eve_proofs/ deleted

  ViewVC Help
Powered by ViewVC 1.1.23