/[eiffelstudio]
ViewVC logotype

Revision 91080


Jump to revision: Previous Next
Author: julian
Date: Tue Jan 29 13:08:11 2013 UTC (6 years, 7 months ago)
Changed paths: 11
Log Message:
Increased font size in AutoProof tool.
Improved command line output for AutoProof.

Changed paths

Path Details
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autoproof/es_autoproof_tool_panel.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/tty/ewb_boogie_verification.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/e2b_autoproof.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_check_violation.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_postcondition_violation.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_precondition_violation.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_merge_results_task.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_notify_task.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_translate_chunk_task.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_verify_with_inlining_task.e modified , text changed
Directorybranches/eth/eve/Src/library/base/eve/any.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23