Skip to Navigation | Skip to Content

Ref_impl_Eiffel mailing list archives

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

[ref_impl_eiffel] [896] Add repository refresh (ctrl+R) and add ADL save

Revision: 896
Author:   thomas.beale
Date:     2009-09-11 22:11:50 +0100 (Fri, 11 Sep 2009)

Log Message:
-----------
Add repository refresh (ctrl+R) and add ADL save version to option 
dialog.

Modified Paths:
--------------
    
BRANCHES/specialisation/apps/adl_workbench/app/rm_schemas/openehr_adltest_100.dadl
    BRANCHES/specialisation/apps/adl_workbench/src/main/constants_imp.e
    BRANCHES/specialisation/apps/adl_workbench/src/main/main_window.e
    
BRANCHES/specialisation/apps/adl_workbench/src/main/main_window_imp.e
    BRANCHES/specialisation/apps/adl_workbench/src/main/option_dialog.e
    
BRANCHES/specialisation/apps/adl_workbench/src/main/option_dialog_imp.e
    
BRANCHES/specialisation/apps/adl_workbench/src/main/system_interface.xml
    
BRANCHES/specialisation/components/reference_model_checker/src/model_access.e
    
BRANCHES/specialisation/components/reference_model_checker/src/shared_reference_model_access.e
    
BRANCHES/specialisation/libraries/common_libs/src/utility/error_reporting/in_memory_message_db.e